comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 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 2ba54e75b032
children 8db6e76cb658
comparison
equal deleted inserted replaced
14879:69375786ef70 14880:73546bd550f0