Jens Verwiebe 8dce8e0c17 OSX: make sure the set_simulation_threads script is always renewed		2011-10-15 14:13:49 +00:00
..
config	Make sure that default settings have OpenMP support by default (also good for buildbots).	2011-10-02 17:53:52 +00:00
tools	OSX: make sure the set_simulation_threads script is always renewed	2011-10-15 14:13:49 +00:00