make/jprt.properties

changeset 74
a98e41351006
parent 48
68257a5eb19a
child 85
ae2bec597586
equal deleted inserted replaced
70:58f51e3cc0fa 74:a98e41351006

mercurial