comparison make/jprt.properties @ 9801:d1682d1df0a3

VerifyUsageWithEquals: better error message
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 23 May 2013 12:06:05 +0200
parents f36e073d56a4
children e76dd894b984
comparison
equal deleted inserted replaced
9800:2eaac2c3670b 9801:d1682d1df0a3