make/jprt.properties

changeset 2256
b8243acd4c11
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
2255:fd017ca43d8d 2256:b8243acd4c11

mercurial