corba/make/jprt.properties
changeset 5983 b5bc332cd233
parent 5555 b2b5ed3f0d0d
child 6331 9101ee97a1bd
equal deleted inserted replaced
5982:de622fe4f7d8 5983:b5bc332cd233