diff options
| author | David Aspinall | 2000-09-28 15:01:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 15:01:50 +0000 |
| commit | bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 (patch) | |
| tree | 8f5733bf63e8c880e65472b3ebf745b1026698e3 /html/footer.phtml | |
| parent | 2c253444d0b93cf7628ab030e6a5f1ad24fa20fd (diff) | |
Renamed file
Diffstat (limited to 'html/footer.phtml')
| -rw-r--r-- | html/footer.phtml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/html/footer.phtml b/html/footer.phtml deleted file mode 100644 index 9fd59285..00000000 --- a/html/footer.phtml +++ /dev/null @@ -1,15 +0,0 @@ -<!-- This is the footer --> -<hr> -<a href="<?php print $GLOBALS["validator"]; ?>check/referer"> -<img border=0 - src="images/vh40.gif" - alt="Probably valid HTML 4.0." height=31 width=88 align=right> -</a> -<address> -Web pages by -<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>. -<br> -Contact -<a href="mailto:feedback@proofgeneral.org">Proof General maintainer.</a> -<br> -<!-- End of footer -->
\ No newline at end of file |