From 2b61611e5d80397f47f0b3c4c1e3434c74f74dee Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 12 Aug 2002 09:15:32 +0000
Subject: Renamed file

---
 html/eproofe | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 html/eproofe

(limited to 'html/eproofe')

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. */ ?>
-- 
cgit v1.2.3