corba/make/jprt.properties
changeset 17935 58ede13b724e
parent 11295 ba71ba667ef7
child 20031 663d34cd5856