make/jprt.properties

changeset 1552
3b77348eac3a
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
1551:b64faa91edc3 1552:3b77348eac3a

mercurial