diff hotspot/.cproject @ 8604:1f83d8994b7a

unsafeCast: remove anchor node in NewObjectSnippets as it is unnecessary due to the dependency to `result'. also remove a javadoc tag in a comment
author Bernhard Urban <bernhard.urban@jku.at>
date Tue, 02 Apr 2013 14:08:26 +0200
parents 7fe352e0b8e0
children 469e04960daa
line wrap: on
line diff