Jane Tournois 67cd206f20 Dynamic_polyhedron_property_map needs a default constructor, ... and we specify remove() to avoid ambiguities		2017-07-11 20:31:33 +02:00
..
graph	Dynamic_polyhedron_property_map needs a default constructor,	2017-07-11 20:31:33 +02:00