| Tue, 14 Oct 2008 15:45:44 +0200 | wenzelm | adding preferences is now permissive, no error handling here; | changeset | files |
| Tue, 14 Oct 2008 15:16:13 +0200 | wenzelm | CRITICAL access to preferences; | changeset | files |
| Tue, 14 Oct 2008 15:16:12 +0200 | wenzelm | export generic_pref etc.; | changeset | files |