diff options
author | JSDurand <mmemmew@gmail.com> | 2022-12-26 20:44:41 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2022-12-30 12:32:10 +0800 |
commit | 17043258090a6b63516378e4bf5a5e2ba351870c (patch) | |
tree | 2f43e20754aa78df8ac7d7f1d851bceb3bdbcc52 /abbrev_defs | |
parent | 528d21753fd3c336263c59280cfe0f940afcb76d (diff) |
basic: use ripgrep for grep
* basic.el (xref-search-program): Use ripgrep for grep. This is
supposed to be faster than the built-in grep on macOS.
Diffstat (limited to 'abbrev_defs')
0 files changed, 0 insertions, 0 deletions