joachim/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add ripgreprc

Browse source
This commit is contained in:
joachimschmidt557 2023-05-07 16:56:17 +02:00
parent 0ca9bc86c0
commit 8a2d87b63f
No known key found for this signature in database
GPG key ID: E0B575BE2884ACC5
3 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ripgreprc Normal file
View file

@ -0,0 +1,2 @@
# -*- mode: shell-script -*-
--smart-case