make/jprt.properties

changeset 53
4fa7398559d0
parent 48
68257a5eb19a
child 85
ae2bec597586
equal deleted inserted replaced
52:f64566bf4c2b 53:4fa7398559d0

mercurial