corba/make/jprt.properties
changeset 15207 86fd7c602ddf
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
15206:b86a40ac02ff 15207:86fd7c602ddf