make/jprt.properties

changeset 986
d832d813d65b
parent 913
9937f406e27e
child 1129
09eaef69f384
child 1140
6d0ebf545f49
equal deleted inserted replaced
982:00b798f15cc6 986:d832d813d65b

mercurial