| Wed, 01 Aug 2007 16:55:40 +0200 | wenzelm | simplified internal Config interface; | changeset | files |
| Wed, 01 Aug 2007 16:55:39 +0200 | wenzelm | updated; | changeset | files |
| Wed, 01 Aug 2007 16:55:37 +0200 | wenzelm | tuned config options: eliminated separate attribute "option"; | changeset | files |