diff options
-rw-r--r-- | .gitignore | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -17,11 +17,11 @@ Makefile.in config.log config.status Makefile +config.sh # Files generated by Makefile -src/*[^.]?? -lib/*.sm -lib/*/*.sm +*.sho +prokit locale/*.ms man/*.[18] man/*.[18].mdwn |