| Tue, 18 Oct 2016 15:09:52 +0200 | wenzelm | more flexible multicore configuration; | changeset | files |
| Tue, 18 Oct 2016 14:32:51 +0200 | wenzelm | clarified multiple props: result needs to fit on a single line within the log file; | changeset | files |
| Tue, 18 Oct 2016 13:56:49 +0200 | wenzelm | clarified properties; | changeset | files |
| Tue, 18 Oct 2016 13:44:54 +0200 | wenzelm | tuned; | changeset | files |