diff options
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 0f74b5da3d..cdb3869de0 100644 --- a/.gitignore +++ b/.gitignore @@ -38,6 +38,7 @@ /doc/guix*.html /doc/guix*.info /doc/guix*.info-[0-9] +/doc/guix*.info-[0-9][0-9] /doc/guix*.ky /doc/guix*.pg /doc/guix*.toc @@ -158,4 +159,4 @@ tmp /gnu/packages/aux-files/guile-guile-launcher.o /guile .DS_Store -.mumi/current-issue
\ No newline at end of file +.mumi/current-issue |