src/lemon/bits/extendable_graph_extender.h
changeset 1418 afaa773d0ad0
parent 1307 d4acebef7276