make/jprt.properties

changeset 302
20955959b7b7
parent 225
27d945094f81
child 327
970c0898ded2
equal deleted inserted replaced
301:0fd0aeb592cb 302:20955959b7b7

mercurial