corba/make/jprt.properties
changeset 11320 1ed269f7cc73
parent 10159 a3a3c58b415c
child 11295 ba71ba667ef7
equal deleted inserted replaced
11319:a3d37054381f 11320:1ed269f7cc73