Files
cgal/Scripts/developer_scripts
Laurent Rineau 72c7e73be7 Fix for those scripts
Use the `${INIT_FILE:+..}` syntax, for compatibility when `INIT_FILE`
is unset or empty.
2018-10-19 15:44:35 +02:00
..
2018-10-19 15:44:35 +02:00
2010-05-06 08:09:11 +00:00
2018-04-05 09:42:09 +02:00
2012-12-03 18:44:24 +01:00
2018-10-19 15:44:35 +02:00
2018-03-07 13:19:51 +01:00
2017-11-12 10:17:52 +01:00
2016-12-20 20:01:34 +01:00
2012-12-03 18:44:24 +01:00
2013-02-19 16:45:00 +01:00
2011-03-03 15:45:55 +00:00