corba/make/jprt.properties
changeset 16188 d6390b0ea32a
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
16187:32ebb6dca838 16188:d6390b0ea32a