diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-05-05 17:33:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-05-05 17:33:55 +0000 |
| commit | 26a3dd4553e198e6edae56f0de1578200835833a (patch) | |
| tree | 97d8d45ff0ea9ea806c54c9c585319ba7d123fb2 /doc | |
| parent | fa3379e933fe1147b07a9b287ac0f06ade97ebdb (diff) | |
Recreate jpg from old front page image (spending some bytes)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.jpg | bin | 12002 -> 42514 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/ProofGeneral.jpg b/doc/ProofGeneral.jpg Binary files differindex 6d5bfbfe..ab45a0d9 100644 --- a/doc/ProofGeneral.jpg +++ b/doc/ProofGeneral.jpg |
