Tue, 07 Apr 2009 14:19:51 +0100 Remove platform.properties as properties are no longer loaded this way.
ShabeR@UK-SHABER [Tue, 07 Apr 2009 14:19:51 +0100] rev 36
Remove platform.properties as properties are no longer loaded this way.
(0) -30 -10 -1 +1 +10 +30 +100 +300 +1000 tip