diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-08-05 19:05:02 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-06 10:07:00 +0400 |
| commit | 2c6e4771959dbe8116f39587d912f1215c06cd0d (patch) | |
| tree | 4a0507fb450fc5c74ecc489701917f188a0a5077 /Documentation/git-update-server-info.txt | |
| parent | eca35ecdcaa1448de8cc9ec64590f47a9012264a (diff) | |
[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-update-server-info.txt')
| -rw-r--r-- | Documentation/git-update-server-info.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-update-server-info.txt b/Documentation/git-update-server-info.txt index 4f65acbc8c..830f398034 100644 --- a/Documentation/git-update-server-info.txt +++ b/Documentation/git-update-server-info.txt @@ -16,7 +16,7 @@ DESCRIPTION A dumb server that does not do on-the-fly pack generations can have some auxiliary information files in $GIT_DIR/info and $GIT_OBJECT_DIRECTORY/info directories to help clients discover -what references and packs the server has and make an optimized +what references and packs the server has and make optimized pull decisions. This command generates such auxiliary files. |