log

age author description
Fri, 13 Jan 2012 11:38:49 +0100 Martin Geisler commands: no need to rename merge and phases on import
Fri, 13 Jan 2012 11:34:09 +0100 Martin Geisler phase: there is actually no -C option
Fri, 13 Jan 2012 11:29:47 +0100 Martin Geisler phase: use standard syntax for command line flags