corba/make/jprt.config
changeset 107 ed0c7cfb3666
parent 4 02bb8761fcce
child 648 7b3eaf04308f