diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 81f4486921..c2aab4988c 100644 --- a/.gitignore +++ b/.gitignore @@ -2,8 +2,9 @@ *.patch # ignore local .config files .config -# ignore generated .patchnum file +# these are generated by make_patchnum.sh from git or from a .patchfile .patchnum +.sha1 # files produced by './configure.gnu' on a Linux machine |