Sébastien Loriot 40c8d76834 remove no longer used scripts

2025-01-21 11:26:01 +01:00

..

developer_scripts

remove no longer used scripts

2025-01-21 11:26:01 +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