From 0a600edd78cba915f164596478cac028b959bc39 Mon Sep 17 00:00:00 2001 From: Francisco Vila Date: Thu, 2 Oct 2008 11:43:45 +0200 Subject: [PATCH] Docs: delete unused file. --- input/texidocs/template.texidoc | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 input/texidocs/template.texidoc diff --git a/input/texidocs/template.texidoc b/input/texidocs/template.texidoc deleted file mode 100644 index fe600a4c60..0000000000 --- a/input/texidocs/template.texidoc +++ /dev/null @@ -1,4 +0,0 @@ - doctitlees = " " - texidoces = " - -" \ No newline at end of file -- 2.39.5