Eric Berberich 1fc8adc035 use bash instead of sh ... no find_package boost if not options are given		2009-06-28 09:12:22 +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	use bash instead of sh	2009-06-28 09:12:22 +00:00
dont_submit	removed old script	2009-06-22 07:43:04 +00:00