From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml

---
 html/smallheader.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/smallheader.html')

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