From ee9249b898e5a898d4bb82eac3231ed904579bff Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 5 Mar 2012 17:54:24 +0100
Subject: [PATCH] some random junk
---
project/Build.scala | 9 +--------
1 file changed, 1 insertion(+), 8 deletions(-)
diff --git a/project/Build.scala b/project/Build.scala
index 81c420dd9..591ae1131 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -43,16 +43,9 @@ object Leon extends Build {
}
}
- // private val nameKey = SettingKey[String]("name", "Name of the project")
- // private val scalaVersionKey = SettingKey[String]("scalaVersion", "Scala Version")
- // private val versionKey = SettingKey[String]("version", "Version")
-
object LeonProject {
val settings = Seq(
- scriptTask /*,
- nameKey := "Scala Readability",
- scalaVersionKey := "2.9.1",
- versionKey := "1.0.0" */
+ scriptTask
)
}
--
GitLab