make/jprt.properties

changeset 1504
22e417cdddee
parent 1305
9d47f4850714
child 2031
985abf1cd327
equal deleted inserted replaced
1503:2d2b2be57c78 1504:22e417cdddee

mercurial