make/jprt.properties

changeset 1426
d7e42169e5af
parent 1191
faa174d8bd68
child 1288
7801df19942d
child 1317
13af778d07bb
equal deleted inserted replaced
1425:df7a2555f0c4 1426:d7e42169e5af

mercurial