diff options
Diffstat (limited to 'project/build.properties')
| -rw-r--r-- | project/build.properties | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/project/build.properties b/project/build.properties new file mode 100644 index 0000000000..28be1ccc24 --- /dev/null +++ b/project/build.properties @@ -0,0 +1,11 @@ +#Project properties +#Sun Apr 11 14:24:47 CEST 2010 +project.name=scala +def.scala.version=2.7.7 +sbt.version=0.7.4 +copyright=Copyright 2002-2010, 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.0
\ No newline at end of file |