From 38d9ccca63cf0fc33fb845337d9e4eef746dcef2 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 24 Feb 2016 15:03:03 +0100
Subject: [PATCH] 3.2.0 Release

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index b26fd7b..a3e7cab 100644
--- a/build.gradle
+++ b/build.gradle
@@ -4,7 +4,7 @@ apply plugin: 'maven'
 
 sourceCompatibility = '1.7'
 
-project.version = '3.2.0-SNAPSHOT'
+project.version = '3.2.0'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = 'rodin-eventb-ast'
 
-- 
GitLab