corba/make/jprt.properties
changeset 4411 84c397e2ee67
parent 3871 3d528461f61d
child 5555 b2b5ed3f0d0d