From 52fb4c1b72b75254e74687e39167a6fe19c62929 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 29 Oct 2018 17:41:59 +0100
Subject: [PATCH] Sets VERSION to 18.0+dev for the master branch.

---
 src/plugins/e-acsl/VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/VERSION b/src/plugins/e-acsl/VERSION
index 0f31a88fe9c..3a48ff126f4 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-18.0-beta
\ No newline at end of file
+18.0+dev
\ No newline at end of file
-- 
GitLab