On Tue, Sep 3, 2013 at 2:48 PM, Ian Jackson <ijack...@chiark.greenend.org.uk> wrote:
> There is an existing function helponly() for this. Perhaps the answer > is simply to rename it cmd_help. Please see branch feature--dgit_help-2 on git.debian.org/git/dgit-repos/repos/dgit.git Richard PS: I thought I had pointed origin to my own remote, but apparently I can push to there as well. If you are happy to let me push to branches, please let me know. Else, that will have been the first and last time. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org