make/jprt.properties

changeset 706
1603c9216e83
parent 595
8209c91b751d
child 804
91f47e8da5c6
equal deleted inserted replaced
705:f171aa801ea5 706:1603c9216e83

mercurial