corba/make/jprt.properties
changeset 13936 31d6ccdb1d27
parent 11295 ba71ba667ef7
child 20031 663d34cd5856