make/jprt.properties

changeset 691
da7ca56d092c
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
690:0c1ef2af7a8e 691:da7ca56d092c

mercurial