make/jprt.properties

changeset 2094
343aeb2033f0
parent 2031
985abf1cd327
child 2141
127c2e74d2cf
equal deleted inserted replaced
2067:af6244ba81b6 2094:343aeb2033f0

mercurial