Prepare release of VDM2C version 0.1.16

overturetool · Oct 5, 2017 · 07a380b · 07a380b
1 parent 05a896a
commit 07a380b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/overture.release.properties b/overture.release.properties
@@ -1,3 +1,3 @@
-Release version 				= 0.1.14
-New development version = 0.1.15-SNAPSHOT
+Release version 				= 0.1.16
+New development version = 0.1.17-SNAPSHOT