make/jprt.properties

changeset 2056
5043e7056be8
parent 1305
9d47f4850714
child 2031
985abf1cd327
equal deleted inserted replaced
2055:184c0d6698c3 2056:5043e7056be8

mercurial