make/jprt.properties

changeset 2058
cb29ae4407b9
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
2047:c1f5eb3e7d65 2058:cb29ae4407b9

mercurial