diff make/jprt.properties @ 9800:2eaac2c3670b

VerifyUsageWithEquals/VerifyPhase: add documentation
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 23 May 2013 12:00:40 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff