corba/make/jprt.properties
changeset 7716 e57441562769
parent 6331 9101ee97a1bd
child 10159 a3a3c58b415c