diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2020-12-11 11:36:54 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-12-13 15:53:50 -0800 |
| commit | 1296cbe4b4675f429eb20b85bb86ec61546103fb (patch) | |
| tree | 6ed602daf1c1885d46ec61b079aa6fb9ea3c729c /git-gui/Makefile | |
| parent | Seventh batch (diff) | |
| download | tgif-1296cbe4b4675f429eb20b85bb86ec61546103fb.tar.xz | |
init: document `init.defaultBranch` better
Our documentation does not mention any future plan to change 'master' to
other value. It is a good idea to document this, though.
Initial-patch-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/Makefile')
0 files changed, 0 insertions, 0 deletions