make/jprt.properties

changeset 608
7e584be2ee58
parent 595
8209c91b751d
child 804
91f47e8da5c6
equal deleted inserted replaced
607:12782ec1da5f 608:7e584be2ee58

mercurial