make/jprt.properties

changeset 817
17b271281525
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
816:7c537f4298fb 817:17b271281525

mercurial