Tue, 02 Nov 2010 20:55:12 +0100 | wenzelm | simplified some time constants; | file | diff | annotate |
Mon, 25 Oct 2010 21:06:56 +0200 | wenzelm | renamed Output.priority to Output.urgent_message to emphasize its special role more clearly; | file | diff | annotate |
Tue, 14 Sep 2010 23:38:20 +0200 | blanchet | tuning | file | diff | annotate |
Tue, 14 Sep 2010 19:38:18 +0200 | blanchet | export function | file | diff | annotate |
Wed, 01 Sep 2010 23:40:40 +0200 | blanchet | remove time information in output, since it's confusing anyway | file | diff | annotate |
Wed, 01 Sep 2010 00:03:15 +0200 | blanchet | finish moving file | file | diff | annotate |
Tue, 31 Aug 2010 23:52:59 +0200 | blanchet | move file | file | diff | annotate | base |