make/jprt.properties

changeset 619
76808fb4194a
parent 595
8209c91b751d
child 804
91f47e8da5c6
equal deleted inserted replaced
618:fdb1e09519ed 619:76808fb4194a

mercurial