Fernando Cacciola 6bae1045df Fixed handling of flags when defined interactively		2008-11-03 21:00:22 +00:00
..
cgal_create_cmake_script	Fixed handling of flags when defined interactively	2008-11-03 21:00:22 +00:00
cgal_create_makefile	fix bashisms (use printf instead of echo)	2008-06-18 16:07:17 +00:00