From caeaec9fa81213be8742e1a30fc5ce54609f29b5 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 5 Aug 2016 17:11:53 +0200
Subject: [PATCH] Change project name to inox

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

diff --git a/build.sbt b/build.sbt
index 89d72ac86..73f15f71d 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,4 +1,4 @@
-name := "Leon"
+name := "inox"
 
 version := "3.0"
 
-- 
GitLab