Merge pull request #195 from Muxelmann/patch-1

Changing uses of `grep` to `$GREP` for non-linux
This commit is contained in:
Krumpet Pirate 2022-01-21 17:14:33 -05:00 committed by GitHub
commit 00fd4d552a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

Diff Content Not Available