corba/make/jprt.properties
changeset 3055 54b677070c61
parent 2666 b4665c6a75e5
child 3291 805a72a26925