diff options
Diffstat (limited to 'html/doc')
| -rw-r--r-- | html/doc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/html/doc b/html/doc deleted file mode 100644 index a58717d8..00000000 --- a/html/doc +++ /dev/null @@ -1,5 +0,0 @@ -<?php include('index.php'); ?> -<?php - /* This file needs some extra characters in it for apache to work its magic. - Things work fine as link to index.html, but it's tricky to include links - in cvs. */ ?>
\ No newline at end of file |