diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-08-05 17:05:02 +0200 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2005-08-05 23:07:00 -0700 |
| commit | 2c6e4771959dbe8116f39587d912f1215c06cd0d (patch) | |
| tree | 4a0507fb450fc5c74ecc489701917f188a0a5077 /Documentation/git-local-pull.txt | |
| parent | [PATCH] git-commit-script fix for degenerated merge (diff) | |
| download | tgif-2c6e4771959dbe8116f39587d912f1215c06cd0d.tar.xz | |
[PATCH] Assorted documentation patches
[jc: Johannes spent time and effort to see how consistent our
use of terminilogy is, and as a byproduct made these corrections
not related to the terminology unification. I really appreciate
it.]
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-local-pull.txt')
| -rw-r--r-- | Documentation/git-local-pull.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/git-local-pull.txt b/Documentation/git-local-pull.txt index cb95334018..4651e81581 100644 --- a/Documentation/git-local-pull.txt +++ b/Documentation/git-local-pull.txt @@ -25,8 +25,9 @@ OPTIONS Get all the objects. -v:: Report what is downloaded. --w:: - Writes the commit-id into the filename under $GIT_DIR/refs/ on + +-w <filename>:: + Writes the commit-id into the filename under $GIT_DIR/refs/<filename> on the local end after the transfer is complete. Author |