From be0d215fc59eee406e357e833fa0155e2d81abdf Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 1 Sep 2020 23:02:44 -0700 Subject: [PATCH] doc/manual: Remove gitignore file in otherwise empty directory. I added this by mistake some time ago. It's not useful. --- doc/manual/.gitignore | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 doc/manual/.gitignore diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore deleted file mode 100644 index 524b61ed3b..0000000000 --- a/doc/manual/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -pspp.dvi.gz -pspp.info.tar.gz -pspp.pdf -pspp.txt -pspp.txt.gz -- 2.30.2