diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore index 983026570..d456d7da3 100644 --- a/.gitignore +++ b/.gitignore @@ -22,14 +22,9 @@ perl/Makefile.config /corepkgs/nar/unnar.sh # /doc/manual/ -/doc/manual/manual.html -/doc/manual/manual.xmli -/doc/manual/manual.pdf -/doc/manual/manual.is-valid /doc/manual/*.1 /doc/manual/*.5 /doc/manual/*.8 -/doc/manual/version.txt # /scripts/ /scripts/nix-profile.sh |