make/jprt.properties

changeset 528
1a71d800b032
parent 505
428428cf5e06
child 530
a259ff3e42d9

    

mercurial