aboutsummaryrefslogtreecommitdiffhomepage
path: root/html/eeproof
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-12 09:15:32 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-12 09:15:32 +0000
commit2b61611e5d80397f47f0b3c4c1e3434c74f74dee (patch)
tree361f163ba0f4d457c3e3c928cd5f9f6fa6cbbc98 /html/eeproof
parent22ceca15e3811a9a62dacf7b7c3bc0e80f99cd0e (diff)
Renamed file
Diffstat (limited to 'html/eeproof')
-rw-r--r--html/eeproof5
1 files changed, 5 insertions, 0 deletions
diff --git a/html/eeproof b/html/eeproof
new file mode 100644
index 00000000..2df23c96
--- /dev/null
+++ b/html/eeproof
@@ -0,0 +1,5 @@
+<?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. */ ?>