diff options
| author | Robin Rosenberg <robin.rosenberg@dewire.com> | 2006-10-29 23:09:40 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-10-29 23:36:27 +0300 |
| commit | ce4231ffa80da1888a668cc7c33f5349800ab4a3 (patch) | |
| tree | 7e53e1c679fe9ea79446c11d2df1d382b1faa3f4 /Documentation/git-pull.txt | |
| parent | 151602df00b8e5c5b4a8193f59a94b85f9b5aebc (diff) | |
Mention that pull can work locally in the synopsis
Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-pull.txt')
| -rw-r--r-- | Documentation/git-pull.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt index 51577fcbe6..2a5aea73ba 100644 --- a/Documentation/git-pull.txt +++ b/Documentation/git-pull.txt @@ -3,7 +3,7 @@ git-pull(1) NAME ---- -git-pull - Pull and merge from another repository +git-pull - Pull and merge from another repository or a local branch SYNOPSIS |