From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 19:31:13 +0000
Subject: Deleted file

---
 html/footer.html | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 html/footer.html

(limited to 'html/footer.html')

diff --git a/html/footer.html b/html/footer.html
deleted file mode 100644
index 77709857..00000000
--- a/html/footer.html
+++ /dev/null
@@ -1,10 +0,0 @@
-<!-- This is the footer -->
-<hr>
-<address>
-Web pages by
-<a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.
-<br>
-Contact
-<?php mlinktxt($project_feedback, "Proof General maintainer."); ?>
-<br>
-
-- 
cgit v1.2.3