JacksonCampolattaro 45244da9e1 Node can no longer directly access its children without the tree ... This is necessary for the next step, but makes the API a pain to use. Some sort of `Node_handle` type is definitely worthwhile.		2023-03-27 18:12:20 +02:00
..
CGAL	Node can no longer directly access its children without the tree	2023-03-27 18:12:20 +02:00