corba/make/jprt.properties
changeset 13936 31d6ccdb1d27
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
13935:2805a3e211f3 13936:31d6ccdb1d27