Skip to content

Commit 418e3bb

Browse files
authored
rename mgrep to badwords.pl (#613)
To sync with curl/curl and curl/curl-www repos and its local config `badwords.txt`.
1 parent f397ebf commit 418e3bb

2 files changed

Lines changed: 1 addition & 1 deletion

File tree

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ check:
1515
@proselint $(MDS)
1616

1717
wordcheck:
18-
@./mgrep $(MDS) < badwords.txt
18+
@./badwords.pl $(MDS) < badwords.txt
1919

2020
fixup:
2121
for i in $(MDS); do ./lang.sh $$i; done
File renamed without changes.

0 commit comments

Comments
 (0)