From eec6ddc1a1b21e18fc63a51510cd7122a3c035cf Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Wed, 15 Oct 2014 12:31:13 +0100 Subject: [PATCH 1/1] No need to ignore README.{html,pdf} any more. --- tools/htdocs/.gitignore | 2 -- 1 file changed, 2 deletions(-) diff --git a/tools/htdocs/.gitignore b/tools/htdocs/.gitignore index 4e51ca4..ec8964f 100644 --- a/tools/htdocs/.gitignore +++ b/tools/htdocs/.gitignore @@ -1,9 +1,7 @@ index.html -README.html mkws-manual.html mkws-developer.html index.pdf -README.pdf mkws-manual.pdf mkws-developer.pdf NEWS -- 1.7.10.4