aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall1998-11-20 14:23:16 +0000
committerDavid Aspinall1998-11-20 14:23:16 +0000
commit3d567985cfcb32da63412999af10632b72aaca3f (patch)
tree4801ac7083b9b5b551ceddadca0e977f2179ced1 /html
parent90f4cd0d5c5f6fa418df094827c6c61098dd41a6 (diff)
Updated gifs.
Diffstat (limited to 'html')
-rw-r--r--html/text_general.gifbin5483 -> 5445 bytes
-rw-r--r--html/text_proof.gifbin4652 -> 4695 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/html/text_general.gif b/html/text_general.gif
index dd4b54fb..468b2a78 100644
--- a/html/text_general.gif
+++ b/html/text_general.gif
Binary files differ
diff --git a/html/text_proof.gif b/html/text_proof.gif
index b40a088b..2395d9e1 100644
--- a/html/text_proof.gif
+++ b/html/text_proof.gif
Binary files differ