log

age author description
Fri, 10 Sep 2010 01:04:32 +0200 Martin Geisler merge with stable
Fri, 10 Sep 2010 00:07:38 +0200 Martin Geisler convert: better grouping of command line flags in help
Fri, 10 Sep 2010 00:36:01 +0200 Martin Geisler convert: help string cleanups stable