make/jprt.properties

changeset 295
904d7c7c44d9
parent 225
27d945094f81
child 327
970c0898ded2
equal deleted inserted replaced
294:57d702105b23 295:904d7c7c44d9

mercurial