corba/make/jprt.config
changeset 814 3d9921c0b40c
parent 648 7b3eaf04308f
child 718 8e2f588d7b97