corba/make/jprt.properties
changeset 13791 059978b7e438
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
13669:0f1340f8a157 13791:059978b7e438