make/jprt.properties

changeset 528
1a71d800b032
parent 505
428428cf5e06
child 530
a259ff3e42d9
equal deleted inserted replaced
527:438c54c148a6 528:1a71d800b032

mercurial