From c840fca59cb2a66051f1c60edb35836fb8fafa43 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Tue, 11 Oct 2016 10:18:56 +0200
Subject: [PATCH] Updated Version file

---
 VERSION | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/VERSION b/VERSION
index ee6e4637..79ec5b9a 100644
--- a/VERSION
+++ b/VERSION
@@ -1,5 +1,5 @@
-VERSION=3.0
+VERSION=3.1
 MAJOR=3
-MINOR=0
+MINOR=1
 PATCH=0
 ID=OPENFLIPPER
-- 
GitLab