make/jprt.properties

changeset 1845
be10ac0081b2
parent 1305
9d47f4850714
child 2031
985abf1cd327
equal deleted inserted replaced
1844:29dcd6715b04 1845:be10ac0081b2

mercurial