diff options
| author | David Aspinall | 1998-10-14 13:17:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-14 13:17:26 +0000 |
| commit | 88a5bbded3d7a37f1ba36b9a5668ec5b03a91274 (patch) | |
| tree | 45d0e5ce72bde6a68136e61b378b8da4492a4732 /etc/ProofGeneral.patch | |
| parent | 862ed6d111b32e54782738232ec76ed4534699a4 (diff) | |
Added todo for removing image targets from repository.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions