diff options
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index fc8a859336..0c4c26d198 100644 --- a/.gitignore +++ b/.gitignore @@ -146,7 +146,7 @@ tmp /doc/os-config-lightweight-desktop.texi /nix/scripts/download /.version -/doc/stamp-[0-9] +/doc/stamp-[0-9]* /gnu/packages/bootstrap /gnu/packages/aux-files/guile-guile-launcher.o /guile |