diff options
Diffstat (limited to 'html/header.html')
| -rw-r--r-- | html/header.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/header.html b/html/header.html index e5100744..9b7d70d3 100644 --- a/html/header.html +++ b/html/header.html @@ -2,7 +2,7 @@ <table width="550"> <tr> <td width="190"> -<a href="index.phtml"> +<a href="index.html"> <img src="images/ProofGeneral.jpg" alt="Proof General" align=top width=180 height=238 border=0 > </a> |