make/jprt.properties

changeset 1619
a489ef6e22a4
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
1616:9b1bb13cc10c 1619:a489ef6e22a4

mercurial