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

Reply via email to