make/jprt.properties

changeset 1377
8b0ee2956b4d
parent 1191
faa174d8bd68
child 1288
7801df19942d
child 1317
13af778d07bb
equal deleted inserted replaced
1376:9c9f663f6633 1377:8b0ee2956b4d

mercurial