Closed netclectic closed 11 years ago
Scratch that last pull request, can't seem to edit the branch...
I've implemented a rudimentary file content search using git grep. I added the repo path to RepoInfo to make life a little easier.
Scratch that last pull request, can't seem to edit the branch...
I've implemented a rudimentary file content search using git grep. I added the repo path to RepoInfo to make life a little easier.