corba/make/jprt.properties
changeset 10795 39d94a6eb53a
parent 10159 a3a3c58b415c
child 11295 ba71ba667ef7