diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2019-02-28 14:10:23 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2019-02-28 14:10:23 +0100 |
| commit | 72ba1c282e2a8bfd0e826352a251fa71bfb71e05 (patch) | |
| tree | 84ee98f942fa1d610b7a73464350ee0f8dadfe0d /VERSION | |
| parent | b396b004876d55a4e81069cac4e49e8185ce8cbb (diff) | |
| download | compcert-kvx-72ba1c282e2a8bfd0e826352a251fa71bfb71e05.tar.gz compcert-kvx-72ba1c282e2a8bfd0e826352a251fa71bfb71e05.zip | |
Update version number for 3.5v3.5
Diffstat (limited to 'VERSION')
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ -version=3.4 +version=3.5 buildnr= tag= |