| Sun, 28 Mar 2010 16:59:06 +0200 | wenzelm | static defaults for configuration options; | changeset | files |
| Sun, 28 Mar 2010 16:13:29 +0200 | wenzelm | configuration options admit dynamic default values; | changeset | files |
| Sun, 28 Mar 2010 16:29:51 +0200 | wenzelm | tuned; | changeset | files |