diff options
Diffstat (limited to 'project/build.properties')
| -rw-r--r-- | project/build.properties | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/project/build.properties b/project/build.properties deleted file mode 100644 index 4775404a76..0000000000 --- a/project/build.properties +++ /dev/null @@ -1,11 +0,0 @@ -#Project properties -#Sun Apr 11 14:24:47 CEST 2010 -project.name=scala -def.scala.version=2.7.7 -sbt.version=0.7.7 -copyright=Copyright 2002-2011, LAMP/EPFL -build.scala.versions=2.7.7 -project.initialize=false -project.organization=ch.epfl.lamp -partest.version.number=0.9.2 -project.version=2.8.1 |