diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-06-01 16:13:44 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-06-01 16:13:44 +0900 |
commit | c9cb517b2749cb836e12257460f85d440c93320d (patch) | |
tree | 5569b7a92ee1e0d500d481d64faa44f82c14ee73 /git-pull.txt | |
parent | 944ce257455780f7b55f49fd76c18ea6d0b77b0a (diff) | |
download | git-htmldocs-c9cb517b2749cb836e12257460f85d440c93320d.tar.gz |
Autogenerated HTML docs for v2.18.0-rc0-42-gc2c7
Diffstat (limited to 'git-pull.txt')
-rw-r--r-- | git-pull.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-pull.txt b/git-pull.txt index 4e0ad6fd8..118d9d86f 100644 --- a/git-pull.txt +++ b/git-pull.txt @@ -9,7 +9,7 @@ git-pull - Fetch from and integrate with another repository or a local branch SYNOPSIS -------- [verse] -'git pull' [options] [<repository> [<refspec>...]] +'git pull' [<options>] [<repository> [<refspec>...]] DESCRIPTION |