| Wed, 05 Oct 2016 13:27:25 +0200 | wenzelm | added multicore_base option; | changeset | files |
| Wed, 05 Oct 2016 12:36:56 +0200 | wenzelm | allow multiple threads configurations; | changeset | files |
| Wed, 05 Oct 2016 12:09:20 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 05 Oct 2016 11:43:00 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Wed, 05 Oct 2016 11:13:02 +0200 | wenzelm | clean output dir for fresh rebuild; | changeset | files |
| Wed, 05 Oct 2016 11:05:41 +0200 | wenzelm | allow multiline script; | changeset | files |
| Wed, 05 Oct 2016 10:43:52 +0200 | wenzelm | clarified sanity checks; | changeset | files |
| Tue, 04 Oct 2016 21:11:35 +0200 | wenzelm | clarified modules; | changeset | files |