make/jprt.properties

changeset 1534
bec996065c45
parent 1305
9d47f4850714
child 2031
985abf1cd327
equal deleted inserted replaced
1533:7b269e916e06 1534:bec996065c45

mercurial