diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 2ac6e459c..5ce236149 100644 --- a/.gitignore +++ b/.gitignore @@ -154,6 +154,7 @@ /po/stamp-po /src/cu-progs.mk /src/make-prime-list +/src/primes.h /src/version.c /src/version.h /stamp-h1 |