Files
cgal/Scripts
Laurent Rineau 3fc43f9e9f Fix for those scripts
Use the `${INIT_FILE:+..}` syntax, for compatibility when `INIT_FILE`
is unset or empty.
2018-09-04 12:01:25 +02:00
..
2018-09-04 12:01:25 +02:00