diff options
Diffstat (limited to 'html/develdownload.html')
| -rw-r--r-- | html/develdownload.html | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/html/develdownload.html b/html/develdownload.html deleted file mode 100644 index 4c9b3b01..00000000 --- a/html/develdownload.html +++ /dev/null @@ -1,5 +0,0 @@ -<?php include('develdownload.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. */ ?> |