make/jprt.properties

changeset 436
92489cdc94d1
parent 435
a61af66fc99e
child 526
a294fd0c4b38
equal deleted inserted replaced
435:a61af66fc99e 436:92489cdc94d1

mercurial