make/jprt.properties

changeset 286
79eb8795a1de
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
285:4ce1c1400334 286:79eb8795a1de

mercurial