diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-12 09:15:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-12 09:15:32 +0000 |
| commit | 2b61611e5d80397f47f0b3c4c1e3434c74f74dee (patch) | |
| tree | 361f163ba0f4d457c3e3c928cd5f9f6fa6cbbc98 /html/eproofe | |
| parent | 22ceca15e3811a9a62dacf7b7c3bc0e80f99cd0e (diff) | |
Renamed file
Diffstat (limited to 'html/eproofe')
| -rw-r--r-- | html/eproofe | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/html/eproofe b/html/eproofe deleted file mode 100644 index 2df23c96..00000000 --- a/html/eproofe +++ /dev/null @@ -1,5 +0,0 @@ -<?php include('eeproof.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. */ ?> |