diff make/jprt.properties @ 13613:f4fa294d5b39

fix for FrameState.applyToNonVirtual
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 13 Jan 2014 09:29:31 +0100
parents 384c92148c68
children 50fdb38839eb
line wrap: on
line diff