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-http-pull.txt | |
| parent | eca35ecdcaa1448de8cc9ec64590f47a9012264a (diff) | |
| download | git-2c6e4771959dbe8116f39587d912f1215c06cd0d.tar.gz git-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-http-pull.txt')
| -rw-r--r-- | Documentation/git-http-pull.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/git-http-pull.txt b/Documentation/git-http-pull.txt index 431ef7cab..edc5cebf7 100644 --- a/Documentation/git-http-pull.txt +++ b/Documentation/git-http-pull.txt @@ -23,8 +23,9 @@ Downloads a remote GIT repository via HTTP. 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 |