tree f71477a57359493c3b499cfe20273b91a52d09d1
parent d271b313d58d5eef02ed687c151a42dfd0c0f0ed
author Eike Stepper <stepper@esc-net.de> 1476805278 +0200
committer Eike Stepper <stepper@esc-net.de> 1476805278 +0200

[Releng] Make more use of OMPlatform.isProperty()