sf-platform/platform.properties
changeset 36 af82fccdcb75
parent 35 9f78d5788229
child 37 00208f982d58
--- a/sf-platform/platform.properties	Tue Apr 07 12:12:12 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-base_release.getenv_options=emu
-hg.config=config/full-list.csv
-threads=1
\ No newline at end of file