From 39c58b3b71f79766058240a5834e3e33c43f54f1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 29 Sep 2000 19:23:05 +0000 Subject: Link image to root dir. --- 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 62c2412c..55cb7a4c 100644 --- a/html/smallheader.html +++ b/html/smallheader.html @@ -1,7 +1,7 @@ -- cgit v1.2.3
- + Proof General Home