make/jprt.properties

changeset 1251
6f0ed5a89c25
parent 1223
f3743b82945e
child 1305
9d47f4850714
equal deleted inserted replaced
1250:c35b158e2290 1251:6f0ed5a89c25

mercurial