diff options
author | Anders Melchiorsen <mail@cup.kalibalik.dk> | 2009-01-18 15:36:56 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-01-18 14:27:03 -0800 |
commit | 391d186babf9761f73d367c7325bc5c3d4e1495d (patch) | |
tree | 3ec5dc59c4138cce5dad0b54f9c8dbb3979a3f1b /t/t4013/diff.diff-tree_--root_-r_initial | |
parent | Documentation: git push repository can also be a remote (diff) | |
download | tgif-391d186babf9761f73d367c7325bc5c3d4e1495d.tar.xz |
Documentation: remove a redundant elaboration
The comment in parentheses is wrong, as one has to leave out both the
colon and <dst>. This situation is covered by the section a few lines
down:
A parameter <ref> without a colon pushes the <ref> from the source
repository to the destination repository under the same name.
So, just remove the parentheses.
Signed-off-by: Anders Melchiorsen <mail@cup.kalibalik.dk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff-tree_--root_-r_initial')
0 files changed, 0 insertions, 0 deletions