make/jprt.properties

changeset 1478
a9cb93cca229
parent 1305
9d47f4850714
child 2031
985abf1cd327
equal deleted inserted replaced
1477:8c0c63a6e3b7 1478:a9cb93cca229

mercurial