corba/make/jprt.properties
changeset 5908 3adeeb9c080e
parent 5555 b2b5ed3f0d0d
child 6331 9101ee97a1bd
equal deleted inserted replaced
5907:874788e4c176 5908:3adeeb9c080e