Eric Berberich 539d21be16 added new script that will (hopefully) replace old one ... - contains boost options - should contain cgal options - should contain single-source or all-sources - contains includes TODO extend option file		2009-06-18 07:26:48 +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	added new script that will (hopefully) replace old one	2009-06-18 07:26:48 +00:00
dont_submit	added (initial version of) script to automatically include some user-specific	2009-06-16 14:53:51 +00:00