From 0fb05ec9c98932bb164cc2a0a64619efc801c686 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Peter=20W=2E=20V=2E=20Tran-J=C3=B8rgensen?= <pvj@eng.au.dk>
Date: Fri, 17 Mar 2017 16:54:15 +0100
Subject: [PATCH] Prepare release of VDM2C 0.1.4

---
 overture.release.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/overture.release.properties b/overture.release.properties
index 6ab94b5f..d3b3c180 100644
--- a/overture.release.properties
+++ b/overture.release.properties
@@ -1,3 +1,3 @@
-Release version 				= 0.1.2
-New development version = 0.1.3-SNAPSHOT
+Release version 				= 0.1.4
+New development version = 0.1.5-SNAPSHOT