corba/make/jprt.config
changeset 2237 728efa38bc1f
parent 2192 7e916cf3102a