diff options
| author | David Aspinall | 2001-05-08 11:34:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-08 11:34:26 +0000 |
| commit | e9d706971e2fa4a0b9c11f1f529f1d342bcaaafa (patch) | |
| tree | 5d3b3762da385ec87077bdab6248a634a3c41595 /etc/ProofGeneral.patch | |
| parent | e66fd8a5502f9687218b0a7c53e8e34ca1873e2d (diff) | |
Updates, removal of patch so that rpm -ta works
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions