diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-04-06 07:26:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-04-06 07:26:19 +0000 |
| commit | 238b1f936024228b50049db89aa1bda94b082c6d (patch) | |
| tree | 621400e914b6b071bd906bf190153f7338a7d8d4 /etc/ProofGeneral.spec | |
| parent | 6547eb96bf42414daecb28ad1dc65ad5cf66044e (diff) | |
Drop support for Emacs 23.1 and earlier
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions