diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:54:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:54:10 +0000 |
commit | 2f28616afde584a606f17dcda58dd1ccb169e90a (patch) | |
tree | 0db7f4126fe95b98697518dfa0ac1da3a64f9d82 /images/ProofGeneral.gif | |
parent | a9c08e799500d19e9dcc9d9eb46a70f8478b8499 (diff) |
Ignore file
Diffstat (limited to 'images/ProofGeneral.gif')
0 files changed, 0 insertions, 0 deletions