make/jprt.properties

changeset 815
d17f37522154
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
810:15484cb7e5ae 815:d17f37522154

mercurial