Laurent Rineau 959d2edd5e Remove a comment (was a debug work-in-progress)

2022-09-29 14:13:04 +02:00

..

developer_scripts

Remove a comment (was a debug work-in-progress)

2022-09-29 14:13:04 +02:00

package_info/Scripts

Fix the script cgal_check_dependencies.sh

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

scripts

sed -i -e 's/egrep/grep -E/g'

2022-07-01 16:19:36 +02:00