diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 17:51:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 17:51:48 +0000 |
| commit | f990f85aa91bf15a3f93c8237e5efbf185ec5a46 (patch) | |
| tree | acece7e154e4bd05e512cdd17cd44a1a0b7be5e7 /etc/ProofGeneral.spec | |
| parent | 6f4b1c8290547a96ad669e7fcaf9cf73da1a3831 (diff) | |
Updated magic.
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions