make/jprt.properties

changeset 4335
2aa953165ade
parent 3984
3958f0acde31
child 4795
3be6a41ad358
equal deleted inserted replaced
4334:a14c5698a162 4335:2aa953165ade

mercurial