diff options
| author | SZEDER Gábor <szeder@ira.uka.de> | 2008-07-23 15:49:21 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-07-25 10:29:38 +0400 |
| commit | b302ddd2f8de2944ed3425d48b1a640fab004d02 (patch) | |
| tree | 74b73182023a0ac60a9895ef62376b8f4ce61caa /Documentation/git-checkout.txt | |
| parent | 99ea66ec479b884a8b5aff3020cf6e6abb9aa09a (diff) | |
checkout: mention '--' in the docs
'git checkout' uses '--' to separate options from paths, but it was not
mentioned in the documentation
Signed-off-by: SZEDER Gábor <szeder@ira.uka.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-checkout.txt')
| -rw-r--r-- | Documentation/git-checkout.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-checkout.txt b/Documentation/git-checkout.txt index 2abfbdaadb..5aa69c0e12 100644 --- a/Documentation/git-checkout.txt +++ b/Documentation/git-checkout.txt @@ -9,7 +9,7 @@ SYNOPSIS -------- [verse] 'git checkout' [-q] [-f] [[--track | --no-track] -b <new_branch> [-l]] [-m] [<branch>] -'git checkout' [<tree-ish>] <paths>... +'git checkout' [<tree-ish>] [--] <paths>... DESCRIPTION ----------- |