diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 0cdf2c4e61..b31a7132d4 100644 --- a/.gitignore +++ b/.gitignore @@ -110,6 +110,10 @@ cscope.* /doc/spec/Makefile /doc/spec/Makefile.in +# /scripts +/scripts/maint/checkOptionDocs.pl +/scripts/maint/updateVersions.pl + # /src/ /src/Makefile /src/Makefile.in |