diff make/jprt.properties @ 3519:16cee060c446

added NodeInfo annotation
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 09 Aug 2011 14:43:41 +0200
parents 03b943e6c025
children 0cc8a70952c3
line wrap: on
line diff