src/work/marci/oldies/marci_graph_traits.hh
changeset 797 a76d8d52b25c