From 3cf384644d4d195411d313261a402e0ebf52fa7f Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Mon, 3 Mar 2014 11:35:41 +0100
Subject: [PATCH] Update SBT version

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

diff --git a/build.sbt b/build.sbt
index a3d699e50..3e3014e82 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,6 +1,6 @@
 name := "Leon"
 
-version := "2.2"
+version := "2.3"
 
 organization := "ch.epfl.lara"
 
-- 
GitLab