| 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 |
| Tue, 14 Oct 2008 15:16:11 +0200 | wenzelm | renamed kill_all to kill, in conformance with atp_kill command; | changeset | files |
| Tue, 14 Oct 2008 15:16:09 +0200 | wenzelm | tuned comments; | changeset | files |