corba/make/jprt.properties
changeset 15357 61fec7e4133f
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
15356:cf312dc54c60 15357:61fec7e4133f