corba/make/jprt.properties
changeset 2923 eca68ab5d025
parent 2666 b4665c6a75e5
child 3291 805a72a26925
equal deleted inserted replaced
2922:dd6d609861f0 2923:eca68ab5d025