corba/make/jprt.properties
changeset 2923 eca68ab5d025
parent 2666 b4665c6a75e5
child 3291 805a72a26925