| Sun, 31 Oct 2010 11:38:09 +0100 | ballarin | Minor reformat. | changeset | files |
| Sat, 30 Oct 2010 21:08:20 +0200 | wenzelm | support for real valued preferences; | changeset | files |
| Sat, 30 Oct 2010 16:33:58 +0200 | wenzelm | support for real valued configuration options; | changeset | files |