Viktor Klang 88dc18c806 Removing the use of embedded-repo and deleting it, closing ticket #623		2011-03-08 16:13:09 +01:00
..
build	Removing the use of embedded-repo and deleting it, closing ticket #623	2011-03-08 16:13:09 +01:00
plugins	Upgrade to Scala 2.8.1	2010-11-23 09:20:44 +01:00
scripts	Fix dist building	2011-01-22 12:35:44 +13:00
build.properties	reverting back to 2.8.1	2011-03-04 16:14:35 +01:00