lemon/bits/graph_extender.h
changeset 2332 587531b4fe0e
parent 2290 f30867b359a8
child 2384 805c5a2a36dd