diff options
| author | Thomas Voss <thomas.voss@humanwave.nl> | 2024-01-24 12:51:49 +0100 |
|---|---|---|
| committer | Thomas Voss <thomas.voss@humanwave.nl> | 2024-01-24 12:53:11 +0100 |
| commit | aa9f12ff8ea3fe215ef0a819cdd193e3088d9b86 (patch) | |
| tree | 34650541f41f67b63c1a1f3f327ddd6792b83208 /.dir-locals.el | |
| parent | 1547077f958bec62f64674ac7c83e8f7f89b0cc9 (diff) | |
Find files via git-grep instead of git-ls-files
It would be preferable to use git-ls-files as it is more suited for our
purposes, however git-grep allows us to filter out binary files. It
makes no sense to regex match in a binary file, so this is crucial.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions