lemon/bits/erasable_graph_extender.h
changeset 1936 0722ea2b0907
parent 1842 8abf74160dc4
child 1956 a055123339d5