make/jprt.properties

changeset 1466
b52a38d4536c
parent 1305
9d47f4850714
child 2031
985abf1cd327
equal deleted inserted replaced
1465:a22f23fb7abf 1466:b52a38d4536c

mercurial