diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-07-06 22:35:57 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-07-06 22:35:57 -0700 |
| commit | a89117826695bd15a06ab893f088622d58d49b0f (patch) | |
| tree | 70a28e4da17998aca0ba3e65532c146377dc655b /user-manual.html | |
| parent | cb66540f7a8e62233e4f403871e927e8de01bb3f (diff) | |
| download | git-htmldocs-a89117826695bd15a06ab893f088622d58d49b0f.tar.gz | |
Autogenerated HTML docs for v2.27.0-343-g4a0fcf
Diffstat (limited to 'user-manual.html')
| -rw-r--r-- | user-manual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user-manual.html b/user-manual.html index 126cbd815..6a9c1c7e2 100644 --- a/user-manual.html +++ b/user-manual.html @@ -188,7 +188,7 @@ can view using the <code class="literal">-r</code> option to <a class="ulink" hr origin/man origin/master origin/next - origin/pu + origin/seen origin/todo</pre><p>In this example, "origin" is called a remote repository, or "remote" for short. The branches of this repository are called "remote branches" from our point of view. The remote-tracking branches listed |