diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-25 20:12:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-25 20:12:10 +0000 |
| commit | 737724ed7e05eef3058c6124082e79fbf9165a8d (patch) | |
| tree | 31344ae0bf9479fc35bf30829bd91f6e736accbc /generic/proof-useropts.el | |
| parent | b65dbe902217f4252f106f7f281980d4b9ce2a40 (diff) | |
Bump/relax version numbers. Error for <23, warning for minor version mismatch.
Diffstat (limited to 'generic/proof-useropts.el')
0 files changed, 0 insertions, 0 deletions