corba/make/jprt.config
changeset 1316 20fc6d4d57ae
parent 718 8e2f588d7b97
child 928 455092274fd1