corba/make/jprt.properties
changeset 3532 216dbe95bd2e
parent 3291 805a72a26925
child 3871 3d528461f61d