make/jprt.properties

changeset 726
2974d3800eb1
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
725:601160d857ef 726:2974d3800eb1

mercurial