make/jprt.properties

changeset 1015
c4619c2f7f90
parent 913
9937f406e27e
child 1129
09eaef69f384
child 1140
6d0ebf545f49
equal deleted inserted replaced
1014:d702ae92dd4a 1015:c4619c2f7f90

mercurial