make/jprt.properties

changeset 1273
ac29cc95b5c5
parent 1223
f3743b82945e
child 1305
9d47f4850714
equal deleted inserted replaced
1264:02c5a3575539 1273:ac29cc95b5c5

mercurial