make/jprt.properties

changeset 2165
864dafc5ab7a
parent 2031
985abf1cd327
child 2141
127c2e74d2cf
equal deleted inserted replaced
2164:abc3eaccba73 2165:864dafc5ab7a

mercurial