make/jprt.properties

changeset 1244
807ca8ffbeb4
parent 1223
f3743b82945e
child 1305
9d47f4850714

    

mercurial