make/jprt.properties

changeset 963
7278b5b61c17
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
939:ed0f7f1f9511 963:7278b5b61c17

mercurial