make/jprt.properties

changeset 998
14ff19ca715f
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
979:90adb5d6adc7 998:14ff19ca715f

mercurial