diff -r 9f78d5788229 -r af82fccdcb75 sf-platform/platform.properties
--- 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