corba/make/jprt.properties
changeset 4294 4b507ae0d54b
parent 3871 3d528461f61d
child 5555 b2b5ed3f0d0d
equal deleted inserted replaced
4144:09e0b33177af 4294:4b507ae0d54b