make/jprt.properties

changeset 1244
807ca8ffbeb4
parent 1223
f3743b82945e
child 1305
9d47f4850714
equal deleted inserted replaced
1235:46831c72b7f6 1244:807ca8ffbeb4

mercurial