Laurent Rineau 2ca0e52a85 fixes post-CGAL-6.0 ... [skip ci]		2024-10-01 16:31:06 +02:00
..
github-release-upload	Use gh (the official Github CLI) instead of github-release	2021-03-18 12:08:08 +01:00
precompiled_demos_zips	fixes post-CGAL-6.0	2024-10-01 16:31:06 +02:00
prepare_release	upload doc compiled by Doxygen version 1.9.6, from now on	2024-06-21 16:51:09 +02:00