make/jprt.properties

changeset 523
118a211bb3ba
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
522:a5788ab042dc 523:118a211bb3ba

mercurial