From 20cc407a460346e4baf84ec4af56e7e924950150 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 14 Oct 2014 16:55:28 +0100 Subject: [PATCH] Obsolete --- doc/.gitignore | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 doc/.gitignore diff --git a/doc/.gitignore b/doc/.gitignore deleted file mode 100644 index 7c30997..0000000 --- a/doc/.gitignore +++ /dev/null @@ -1,12 +0,0 @@ -index.html -index.odt -index.pdf -README.html -README.odt -README.pdf -mkws-manual.html -mkws-manual.odt -mkws-manual.pdf -mkws-developer.html -mkws-developer.odt -mkws-developer.pdf -- 1.7.10.4