# 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