make/jprt.properties

changeset 1097
5b1bcbb97c05
parent 913
9937f406e27e
child 1129
09eaef69f384
child 1140
6d0ebf545f49
equal deleted inserted replaced
1096:7f0a1578e4a1 1097:5b1bcbb97c05

mercurial