aboutsummaryrefslogtreecommitdiff
path: root/html/smallheader.html
diff options
context:
space:
mode:
authorDavid Aspinall2000-09-28 15:14:22 +0000
committerDavid Aspinall2000-09-28 15:14:22 +0000
commitce2413d4ba78cacb8d5e098ed1421456bb811e53 (patch)
tree59fd174214fe68f5da6636e5151dcbdaa2a878ba /html/smallheader.html
parent72faf58cb67c92ce42ebfec399ec2f945c4ec2a7 (diff)
Moved to use .html instead of .phtml
Diffstat (limited to 'html/smallheader.html')
-rw-r--r--html/smallheader.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/smallheader.html b/html/smallheader.html
index 8cf93a42..62c2412c 100644
--- a/html/smallheader.html
+++ b/html/smallheader.html
@@ -1,7 +1,7 @@
<table width="80%">
<tr>
<td width="30%">
-<a href="index.phtml">
+<a href="index.html">
<img src="images/PG-small.jpg" align=top width=75 height=99 border=0 alt="Proof General Home">
</a>
</td>