| Wed, 04 Apr 2007 00:11:21 +0200 | wenzelm | removed unused info channel; | changeset | files |
| Wed, 04 Apr 2007 00:11:20 +0200 | wenzelm | renamed Output.has_mode to print_mode_active; | changeset | files |
| Wed, 04 Apr 2007 00:11:18 +0200 | wenzelm | tuned comment; | changeset | files |