make/jprt.properties

changeset 2117
51fb66d0a998
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
2116:3aac6c8f4f4d 2117:51fb66d0a998

mercurial