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