corba/make/jprt.config
changeset 2031 24e034f56dcb
parent 1196 8004ddea3ea2
child 2192 7e916cf3102a
equal deleted inserted replaced
2030:39d55e4534b4 2031:24e034f56dcb