removed uneccessary plattform flag, thanks to Louis Lagendijk <louis@...>
Authored by: wimalopaan 2012-11-20
Parent: [r88]
Child: [r90]