diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:37:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:37:32 +0000 |
commit | 258957f9b2e0bbbdf5864e7078f9465e49154fcb (patch) | |
tree | 2d35d6a2abcb0da390705f01343f9e0d33535182 /images | |
parent | f1a76f25b316d36c96231a419e08556cb9d37277 (diff) |
Colorised the general!
Diffstat (limited to 'images')
-rw-r--r-- | images/ProofGeneral.xcf | bin | 72366 -> 160011 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf Binary files differindex 91161753..27c1b4ef 100644 --- a/images/ProofGeneral.xcf +++ b/images/ProofGeneral.xcf |