make/jprt.properties

changeset 1173
4e8aa6eca726
parent 1156
4822dfe0922b
child 1223
f3743b82945e
equal deleted inserted replaced
1167:ffd294128a48 1173:4e8aa6eca726

mercurial