Juergen E. Fischer 31426e13d5 replace egrep with grep -E

2022-10-13 11:51:34 +02:00

..

.agignore

spelling fixes

2021-03-23 20:41:25 +01:00

check_spelling.sh

replace egrep with grep -E

2022-10-13 11:51:34 +02:00

spell_test.sh

update Travis to build on Trusty for code layout (#10048)

2019-05-21 14:13:28 -05:00

spelling.dat

Fix spell check

2022-06-18 05:44:28 +10:00

test.sh

Have to use g prefix for gnu tools also on *BSD

2022-03-17 08:18:45 +10:00