corba/make/jprt.properties
changeset 16767 e286a6e8c642
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
16766:a05a5fc4f269 16767:e286a6e8c642