make/jprt.properties

changeset 2173
537fa895fd74
parent 2141
127c2e74d2cf
equal deleted inserted replaced
2172:aa91bc6e8480 2173:537fa895fd74

mercurial