make/jprt.properties

changeset 229
73c9023ae9b0
parent 225
27d945094f81
child 327
970c0898ded2
equal deleted inserted replaced
228:27985a5c6e52 229:73c9023ae9b0

mercurial