aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-09 13:28:23 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-09 13:28:23 +0000
commit7065e45e59de0f76fe89ae5f8be549bbcb67f807 (patch)
treeab53324fbebf83fbc7eee9622a8164a11a2f5644
parent244f4295362c2896c1644c66a927d9388c3e9643 (diff)
Changed banner to use gif files for text.
-rw-r--r--html/text_general.gifbin0 -> 5483 bytes
-rw-r--r--html/text_proof.gifbin0 -> 4652 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/html/text_general.gif b/html/text_general.gif
new file mode 100644
index 00000000..dd4b54fb
--- /dev/null
+++ b/html/text_general.gif
Binary files differ
diff --git a/html/text_proof.gif b/html/text_proof.gif
new file mode 100644
index 00000000..b40a088b
--- /dev/null
+++ b/html/text_proof.gif
Binary files differ