log

age author description
Fri, 06 Jan 2012 16:16:58 +0100 Martin Geisler dispatch: lowercase abort message
Fri, 06 Jan 2012 11:43:17 +0100 Martin Geisler merge with stable
Fri, 06 Jan 2012 11:15:32 +0100 Martin Geisler commands: add link to addremove in commit help text stable