corba/make/jprt.config
changeset 2237 728efa38bc1f
parent 2192 7e916cf3102a
equal deleted inserted replaced
2236:56b454d324bb 2237:728efa38bc1f