Comment Comment by tsuresh GitHub wiki is a repo and can be cloned locally. Searching through a local files is trivial. parent tsuresh 11 years ago
