lemon/bits/graph_extender.h
changeset 1142 2f479109a71d
parent 1092 dceba191c00d