Joachim Reichel 1542374e2b fail if calling $SCRIPTSDIR/cgal_create_makefile fails (e.g., a wrong ... directory was specified)		2006-03-16 20:51:11 +00:00
..
developer_scripts	fail if calling $SCRIPTSDIR/cgal_create_makefile fails (e.g., a wrong	2006-03-16 20:51:11 +00:00
scripts	rename create_makefile to cgal_create_makefile to avoid name clashes,	2006-03-15 22:10:02 +00:00
test	…
changes.txt	rename create_makefile to cgal_create_makefile to avoid name clashes,	2006-03-15 22:10:02 +00:00
description.txt	…
maintainer	…