make/jprt.properties

changeset 1078
1ee9f9a91e9c
parent 1057
2d3096441387
child 1156
4822dfe0922b
equal deleted inserted replaced
1077:ec27e5befa53 1078:1ee9f9a91e9c

mercurial