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/eeproof | 5 +++++
 html/eproofe | 5 -----
 2 files changed, 5 insertions(+), 5 deletions(-)
 create mode 100644 html/eeproof
 delete mode 100644 html/eproofe

(limited to 'html')

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