# HG changeset patch
# User ShabeR@UK-SHABER
# Date 1239110391 -3600
# Node ID af82fccdcb75534656222b68f54c43ef09b8f3f3
# Parent 9f78d57882293fbb4530a24e4211175708938919
Remove platform.properties as properties are no longer loaded this way.
diff -r 9f78d5788229 -r af82fccdcb75 sf-platform/build.xml
--- a/sf-platform/build.xml Tue Apr 07 12:12:12 2009 +0100
+++ b/sf-platform/build.xml Tue Apr 07 14:19:51 2009 +0100
@@ -8,12 +8,11 @@
-->
-
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