corba/make/jprt.properties
changeset 13125 a454fca4fd87
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
13082:9b19b2302c28 13125:a454fca4fd87