diff options
| author | David Aspinall | 1998-09-24 17:09:50 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 17:09:50 +0000 |
| commit | a5da33d49f9868a9366267425d82da0329691f88 (patch) | |
| tree | c1ac3a02f6490d92abeec65f7b66beb8cef98266 /etc/ProofGeneral.patch | |
| parent | a1b9ec55d9d4ac401f32e4b261b002bfc116202e (diff) | |
Moved to /usr/lib/emacs
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions