Closed VincentRouvreau closed 1 year ago
Fix #970 To be discussed if storing information in a std::vector<Vertex_handle> is a good idea or not.
std::vector<Vertex_handle>
Fix #970 To be discussed if storing information in a
std::vector<Vertex_handle>
is a good idea or not.