doc/manual: Remove gitignore file in otherwise empty directory.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 2 Sep 2020 06:02:44 +0000 (23:02 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 2 Sep 2020 06:02:44 +0000 (23:02 -0700)
I added this by mistake some time ago.  It's not useful.

doc/manual/.gitignore [deleted file]

diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore
deleted file mode 100644 (file)
index 524b61e..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-pspp.dvi.gz
-pspp.info.tar.gz
-pspp.pdf
-pspp.txt
-pspp.txt.gz