lemon/bits/extendable_graph_extender.h
changeset 1972 487a868e30e5
parent 1910 f95eea8c34b0