corba/make/jprt.properties
changeset 5261 c8989361969c
parent 3871 3d528461f61d
child 5555 b2b5ed3f0d0d
equal deleted inserted replaced
5260:89baf99a5e06 5261:c8989361969c