make/jprt.properties

changeset 1206
1362b19f832a
parent 1191
faa174d8bd68
child 1288
7801df19942d
child 1317
13af778d07bb
equal deleted inserted replaced
1205:83d1d42c3df4 1206:1362b19f832a

mercurial