]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'po/remote-set-head-usage'
authorJonathan Nieder <jrnieder@gmail.com>
Mon, 14 Oct 2013 18:07:29 +0000 (11:07 -0700)
committerJonathan Nieder <jrnieder@gmail.com>
Mon, 14 Oct 2013 18:07:29 +0000 (11:07 -0700)
* po/remote-set-head-usage:
  remote set-head -h: add long options to synopsis
  remote doc: document long forms of set-head options

1  2 
builtin/remote.c

Simple merge