diff BUGS @ 184:f44808587a3c

- simplified some platform check
author Tassilo Philipp
date Fri, 17 Feb 2017 09:34:12 +0100
parents 3e629dc19168
children 7520e2260097
line wrap: on
line diff