make/jprt.properties

changeset 330
7e13dbf7e8af
parent 225
27d945094f81
child 327
970c0898ded2
equal deleted inserted replaced
325:7654afc6a29e 330:7e13dbf7e8af

mercurial