make/jprt.properties

changeset 1082
bd441136a5ce
parent 1067
ec1a6dc46005
child 1154
a61730a6fdbc

    

mercurial