| 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 |
| Sun, 28 Mar 2010 15:38:07 +0200 | wenzelm | do not export Attrib.register_config, to make it harder to use low-level Config.declare after the bootstrap phase; | changeset | files |