make/jprt.properties

changeset 712
40bba0507f76
parent 595
8209c91b751d
child 804
91f47e8da5c6
equal deleted inserted replaced
709:83b519cafa68 712:40bba0507f76

mercurial