corba/make/jprt.config
changeset 1038 fbe81cf1123d
parent 718 8e2f588d7b97
child 928 455092274fd1
equal deleted inserted replaced
1037:c6b315a34dc6 1038:fbe81cf1123d