diff options
| author | David Aspinall | 1998-09-24 17:35:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 17:35:24 +0000 |
| commit | c271973d25e88736761b708183ac9ee8445ddaa5 (patch) | |
| tree | fe9e7a4fb86d635c397668313142d2a3f88efa6e /etc/ProofGeneral.patch | |
| parent | 1914d97662e3cb51f50f935da287f640f240dc7c (diff) | |
Added RPM targets
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions