Skip to content

Commit 8135de0

Browse files
m-schmidtm-schmidt
authored
Update CompCert version to match latest release
1 parent 14d6160 commit 8135de0

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎VERSION‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
version=3.17
1+
version=3.18
22
buildnr=
33
tag=
44
branch=

0 commit comments

Comments
 (0)