Laurent Rineau 73bd84ddd1 Improve add_toc_to_github_wiki_page.py ...

- reformat using `black`
- add an option `--max-level`
- quote anchors (for accentuated character)
- fix linter errors

2023-11-17 11:25:44 +01:00

..

developer_scripts

Improve add_toc_to_github_wiki_page.py

2023-11-17 11:25:44 +01:00

package_info/Scripts

Fix the script cgal_check_dependencies.sh

2022-09-27 14:31:50 +02:00

scripts

fix indentation

2022-10-25 16:55:17 +02:00