diff options
author | 2005-10-04 08:05:34 +0000 | |
---|---|---|
committer | 2005-10-04 08:05:34 +0000 | |
commit | 06c64591dea79e8b71ca2d197f7695a8c6e55d5a (patch) | |
tree | a06c04b370c3d0a52432bb95511df939f684f8c5 /etc/coq/indent.v | |
parent | 06f7dafd769e7ef29452e7491ca87d5f374a3149 (diff) |
Set version tag for new release.
Diffstat (limited to 'etc/coq/indent.v')
0 files changed, 0 insertions, 0 deletions