diff options
| author |  Jens Lehmann <Jens.Lehmann@web.de> | 2010-11-03 21:55:48 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2010-11-03 15:20:33 -0700 |
| commit | 2e5955f328a0787c08c69ffb584e8021bb5be818 (patch) | |
| tree | 32d40c7c624443bba0b9e72b35b41607f1b1156c /Documentation/howto/setup-git-server-over-http.txt | |
| parent | Fix copy-pasted comments related to tree diff handling. (diff) | |
| download | tgif-2e5955f328a0787c08c69ffb584e8021bb5be818.tar.xz | |
pull: Remove --tags option from manpage
"Fetch all tags and merge them" does not make any sense as a request at
the logical level, even though it might be more convenient to type.
Signed-off-by: Jens Lehmann <Jens.Lehmann@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/howto/setup-git-server-over-http.txt')
0 files changed, 0 insertions, 0 deletions