diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 19:26:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 19:26:16 +0000 |
| commit | 39a5d68776d9a15df87a256f394897d84fd2e8bc (patch) | |
| tree | bae29e8c93262742c3c7f9e8915c532c8f0fea1f /images/isabelle-badge.xcf | |
| parent | 6859c3dfa233c8844505d12cb86fb385704d3f54 (diff) | |
Deleted file
Diffstat (limited to 'images/isabelle-badge.xcf')
| -rw-r--r-- | images/isabelle-badge.xcf | bin | 157845 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/images/isabelle-badge.xcf b/images/isabelle-badge.xcf Binary files differdeleted file mode 100644 index ad5de7bd..00000000 --- a/images/isabelle-badge.xcf +++ /dev/null |