From 7c27065c3e79ad2e39fa71ead9121296008faf10 Mon Sep 17 00:00:00 2001 From: unknown Date: Fri, 2 Apr 2004 19:09:51 +0200 Subject: remove obsolete (hopefully) files from Docs/ BitKeeper/deleted/.del-manual_toc.html~f483f2d33d9acb41: Delete: Docs/manual_toc.html BitKeeper/deleted/.del-manual.ja.texi~bdf63728a7b03acf: Delete: Docs/manual.ja.texi BitKeeper/deleted/.del-section.Infolinks.texi~c237f2f9: Delete: Docs/section.Infolinks.texi BitKeeper/deleted/.del-section.Testimonials.texi~418f3f63: Delete: Docs/section.Testimonials.texi BitKeeper/deleted/.del-section.Users.texi~41da5f4c: Delete: Docs/section.Users.texi --- Docs/manual_toc.html | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 Docs/manual_toc.html (limited to 'Docs/manual_toc.html') diff --git a/Docs/manual_toc.html b/Docs/manual_toc.html deleted file mode 100644 index b9014e5efb9..00000000000 --- a/Docs/manual_toc.html +++ /dev/null @@ -1,9 +0,0 @@ - - -Place holder for manual_toc.html - - -This is just a place holder for the autogenerated manual_toc.html -to make "make dist" happy. - - -- cgit v1.2.1