make/jprt.properties

changeset 1102
510d09ddc861
parent 1057
2d3096441387
child 1156
4822dfe0922b
equal deleted inserted replaced
1101:b7a7e47c8d3d 1102:510d09ddc861

mercurial