diff options
| author | David Aspinall | 1998-10-01 17:16:25 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 17:16:25 +0000 |
| commit | b819cc9121734efcb5922ebb20afd52d79a537e3 (patch) | |
| tree | d3db2a59a564f86c8af8b25c42b3ca425696a30c /etc/ProofGeneral.patch | |
| parent | 3b005439c323529a3146dc29c1f09137ef760d48 (diff) | |
Adjusted for older rpm
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions