diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-09-21 18:51:21 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-09-21 18:51:21 +0200 |
| commit | 45aeaf195645a870b54e606c3407f5c65188ad98 (patch) | |
| tree | e8ad093fea6d802540deace6a0d96a84be34f550 /VERSION | |
| parent | 993a19e07ebf6e178e23fe6c02a2f25736835c1d (diff) | |
| download | compcert-kvx-45aeaf195645a870b54e606c3407f5c65188ad98.tar.gz compcert-kvx-45aeaf195645a870b54e606c3407f5c65188ad98.zip | |
Update version to 3.1
Diffstat (limited to 'VERSION')
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ -version=3.0.1 +version=3.1 buildnr= tag= |