cgal/Scripts
Eric Berberich d8ef34acfe prefer `pwd`/cgal_cmake_options over $HOME/.cgal_cmake_options_rc 2009-06-21 13:32:21 +00:00
..
developer_scripts Move several log and log_done calls, so that the output is more clear. 2009-05-28 10:00:53 +00:00
package_info/Scripts Remove changes.txt files. 2008-07-24 17:47:16 +00:00
scripts prefer `pwd`/cgal_cmake_options over $HOME/.cgal_cmake_options_rc 2009-06-21 13:32:21 +00:00
dont_submit added script 2009-06-21 10:04:36 +00:00