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