make/jprt.properties

changeset 1298
2d75e7c952b8
parent 1223
f3743b82945e
child 1305
9d47f4850714
equal deleted inserted replaced
1297:e5cf1569d3a4 1298:2d75e7c952b8

mercurial