make/jprt.properties

changeset 716
f089df41bff5
parent 595
8209c91b751d
child 804
91f47e8da5c6
equal deleted inserted replaced
715:cb51fb4789ac 716:f089df41bff5

mercurial