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/workflows/c.yml | |
parent | afca52d96eb43e6ceec4e6976b1f90c367df27c9 (diff) |
Use `grep` instead of `fgrep`
No need to use `grep -F` here
Diffstat (limited to '.github/workflows/c.yml')
0 files changed, 0 insertions, 0 deletions