make/jprt.properties

changeset 370
5222b7d658d4
parent 189
3821536d79ab
child 293
949fb60ca830
equal deleted inserted replaced
334:66c7161ee588 370:5222b7d658d4

mercurial