corba/make/jprt.properties
changeset 15386 92bc08d96f0c
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
15385:ee1eebe7e210 15386:92bc08d96f0c