corba/make/jprt.properties
changeset 6197 c2234c8eefc7
parent 5555 b2b5ed3f0d0d
child 6331 9101ee97a1bd