From 3916eb179c2417509ae02534fafa01b0196522df Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 23 Sep 2000 16:55:11 +0000 Subject: Changed size of image --- html/header.phtml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/header.phtml') diff --git a/html/header.phtml b/html/header.phtml index dc54c4df..cd2af8ee 100644 --- a/html/header.phtml +++ b/html/header.phtml @@ -4,7 +4,7 @@ Proof General + width=180 height=238 border=0 > -- cgit v1.2.3