From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 19:31:13 +0000 Subject: Deleted file --- html/smallheader.html | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 html/smallheader.html (limited to 'html/smallheader.html') diff --git a/html/smallheader.html b/html/smallheader.html deleted file mode 100644 index ade4e6dd..00000000 --- a/html/smallheader.html +++ /dev/null @@ -1,8 +0,0 @@ - - - -
- -Proof General Home - - -- cgit v1.2.3