diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-09 13:28:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-09 13:28:23 +0000 |
| commit | 7065e45e59de0f76fe89ae5f8be549bbcb67f807 (patch) | |
| tree | ab53324fbebf83fbc7eee9622a8164a11a2f5644 | |
| parent | 244f4295362c2896c1644c66a927d9388c3e9643 (diff) | |
Changed banner to use gif files for text.
| -rw-r--r-- | html/text_general.gif | bin | 0 -> 5483 bytes |
| -rw-r--r-- | html/text_proof.gif | bin | 0 -> 4652 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/html/text_general.gif b/html/text_general.gif Binary files differnew file mode 100644 index 00000000..dd4b54fb --- /dev/null +++ b/html/text_general.gif diff --git a/html/text_proof.gif b/html/text_proof.gif Binary files differnew file mode 100644 index 00000000..b40a088b --- /dev/null +++ b/html/text_proof.gif |
