make/jprt.properties

changeset 1812
3a0ed3e4cab4
parent 1489
a9337b6024da
child 1859
8b0588603185

    

mercurial