diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2022-05-01 15:08:01 +0200 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2022-05-01 15:08:01 +0200 |
| commit | 4066d27f9ec46759811d94d9d5cc3c15984df856 (patch) | |
| tree | 7f5a93ced50a2937d99c493e69d2336bee9a37d9 /ripgreprc | |
| parent | e4f71387fbf162a2886323d61db0812c1f93b3c7 (diff) | |
ripgrep: add config
Diffstat (limited to 'ripgreprc')
| -rw-r--r-- | ripgreprc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ripgreprc b/ripgreprc new file mode 100644 index 0000000..e51ef46 --- /dev/null +++ b/ripgreprc @@ -0,0 +1 @@ +--smart-case |