aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
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