lemon/bits/graph_extender.h
branch1.3
changeset 1153 48a0d237db3c
parent 1027 8b2b9e61d8ce