From 839128f2a95fef1d440f4d79e79f4d3ba95b62b1 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 28 Nov 2018 15:08:41 +0100
Subject: [PATCH] version number

---
 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 fc004cb52c7..93cc5dffbe7 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-18.0
\ No newline at end of file
+18.0+dev
-- 
GitLab