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