diff options
| author | David Aspinall | 1998-09-24 15:43:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 15:43:19 +0000 |
| commit | 06ebdec620f8c2daa4a59660b0a9f2bce7eea5de (patch) | |
| tree | 2ee13546dfa8aca62820ee63c935862629d00014 /etc/ProofGeneral.patch | |
| parent | 2a59e48560620133eac3899f4c12ca81e4a4d55e (diff) | |
Removed Makefiles from distribution.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions