diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:49:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:49:15 +0000 |
| commit | bea63452ef4409cec46030aa26fd54d70d0d7d65 (patch) | |
| tree | 031fee2a1c99f783db6d51a5a457934a18c9fa15 /coq/coq-autotest.el | |
| parent | 46b0f043d73db801a7fd340dca70d918532e4221 (diff) | |
Set version tag for new release.
Diffstat (limited to 'coq/coq-autotest.el')
0 files changed, 0 insertions, 0 deletions