diff options
| author | unknown <serg@serg.mylan> | 2004-04-02 19:09:51 +0200 |
|---|---|---|
| committer | unknown <serg@serg.mylan> | 2004-04-02 19:09:51 +0200 |
| commit | 30a6f187dc497a3ba816182062e450f9d97c2918 (patch) | |
| tree | a016adfaaeaeb17f7e344e1d49ff168070a4858f /Docs/manual_toc.html | |
| parent | c51e7f3a1482febd0205fef34feb6514e5f4420b (diff) | |
| download | mariadb-git-30a6f187dc497a3ba816182062e450f9d97c2918.tar.gz | |
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
Diffstat (limited to 'Docs/manual_toc.html')
| -rw-r--r-- | Docs/manual_toc.html | 9 |
1 files changed, 0 insertions, 9 deletions
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 @@ -<html> -<head> -<title>Place holder for manual_toc.html</title> -</head> -<body> -This is just a place holder for the autogenerated manual_toc.html -to make "make dist" happy. -</body> -</html> |