src/lemon/extendable_graph_extender.h
Wed, 27 Oct 2004 22:38:50 +0000 The graph_factory branch (@ 1321) has been merged to trunk.