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