comparison 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
comparison
equal deleted inserted replaced
5024:7ccdae96e98a 5025:df0deec2af08