corba/make/jprt.properties
changeset 13400 6b0098484df1
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
13399:c2e1881d85fa 13400:6b0098484df1