lemon/bits/graph_extender.h
changeset 1812 a6f019fa6e7a
child 1820 22099ef840d7