Laurent Rineau 405207791c Fix the name of the config file

2016-10-04 20:14:03 +02:00

..

developer_scripts

Fix the name of the config file

2016-10-04 20:14:03 +02:00

package_info/Scripts

remove executable property from copyright files

2011-10-03 08:18:16 +00:00

scripts

Add a variable CGAL_CURRENT_SOURCE_DIR

2016-09-20 10:53:20 +02:00