diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2017-10-23 13:19:10 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2017-10-23 13:19:11 +0900 |
commit | 5784101beabcacfc86938f17ee3f2051e3b59816 (patch) | |
tree | f3ccbf36816b0739ccc4424221e9a7ca2bc3fa28 /.gitignore | |
parent | eaf6eb897879becff31ea9b27046c0eff9e1e646 (diff) |
Suggest ripgrep instead of the silver searcher
Since https://github.com/BurntSushi/ripgrep/issues/200 is fixed in
0.7.1, we can safely suggest ripgrep as the candidate generator as it
has a more precise implementation of gitignore filtering than the silver
searcher.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions