diff make/jprt.properties @ 5025:df0deec2af08

cosmetic simplifications in NewInstanceNode.ESCAPE.updateState
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 05 Mar 2012 14:38:43 +0100
parents a9831b955a0a
children 2d503de963b3
line wrap: on
line diff