src/work/marci/oldies/marci_property_vector.hh
changeset 926 b53cb2242a42