diff make/jprt.properties @ 10088:9d0c16df0bc7

junit.framework package is deprecated
author Andreas Woess <andreas.woess@jku.at>
date Wed, 19 Jun 2013 15:07:39 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff