diff options
author | Profpatsch <mail@profpatsch.de> | 2020-02-10 15:18:28 +0100 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2020-02-10 16:34:23 +0100 |
commit | 3f4edced89c60996e6b25ed7a78d7f0717e9a297 (patch) | |
tree | 8feeaebb06a9a1df882d584721113e4bb1d9857f /modules/user | |
parent | ca5b3e9476b6f9089795f8b42d9c340777d10285 (diff) |
machines/profpatsch/base-workstation: switch from ag to rg
ag is not maintained anymore and has problems with .gitignore files. rg seems to even be a bit faster and supports everything I need (plus it’s picked up automatically by the spacemacs search).
Diffstat (limited to 'modules/user')
0 files changed, 0 insertions, 0 deletions