comparison make/jprt.properties @ 14880:73546bd550f0

CompilerDirectives: add optional nonNull parameter to unsafeCast
author Andreas Woess <andreas.woess@jku.at>
date Fri, 28 Mar 2014 18:33:05 +0100
parents f0221ff14605
children 3ef5c627634a
comparison
equal deleted inserted replaced
14879:69375786ef70 14880:73546bd550f0