diff options
| author | a1346054 <36859588+a1346054@users.noreply.github.com> | 2022-09-12 18:36:07 +0000 |
|---|---|---|
| committer | derf <derf@chaosdorf.de> | 2023-02-15 21:10:07 +0100 |
| commit | 62cd7faa910cce5194b62aefb2ee933809940fc6 (patch) | |
| tree | 548fbc12be16f201464ba095ab73b3a00bf59363 /.github | |
| parent | afca52d96eb43e6ceec4e6976b1f90c367df27c9 (diff) | |
Use `grep` instead of `fgrep`
No need to use `grep -F` here
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions