diff make/jprt.properties @ 9495:6ad0bdcd76aa

make Node.getDebugProperties() final
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 25 Apr 2013 17:09:40 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff