Revision 7248270fc31c177700acf7b9adf4de8f805fc67d authored by Laurent Rineau on 17 July 2020, 07:49:14 UTC, committed by Laurent Rineau on 17 July 2020, 07:49:14 UTC
That is used by `Construct_point_3` in `Triangulation_3`.
1 parent 128a07c
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...