diff options
| author | Marc Vertes <mvertes@free.fr> | 2023-11-08 15:10:33 +0100 |
|---|---|---|
| committer | Marc Vertes <mvertes@free.fr> | 2023-11-08 15:10:33 +0100 |
| commit | be44a03173a1b8475c8970d773cc2e0d6e9bc117 (patch) | |
| tree | 8bfe01715be2b16e723617410daecdd2df026ed1 /.ripgreprc | |
| parent | bdb09c08d24f4bb4e1acbd50fc1eb236d5c78cbe (diff) | |
update
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 |
