log

age author description
Tue, 25 May 2010 09:57:19 +0200 Martin Geisler commands: document --new-branch flag for push
Tue, 25 May 2010 09:56:26 +0200 Martin Geisler Merge with stable
Mon, 24 May 2010 21:52:33 +0530 Faheem Mitha commands: updates to push docstring. stable
Mon, 24 May 2010 00:55:42 +0200 Martin Geisler mq: remove unneeded local variable in delete