diff options
author | Nikolai Weibull <mailing-lists.git@rawuncut.elitemail.org> | 2005-12-09 00:28:05 +0100 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-12-08 15:50:15 -0800 |
commit | 03f6c23c5edb2590c71e4e8c33f20c3449407a72 (patch) | |
tree | 7be2d32c1e919cefe938977ff4cdf9196175efbd /Documentation/git-update-server-info.txt | |
parent | 5dd7342142f209b209e95b6a87c366d5205acd6a (diff) | |
download | git-03f6c23c5edb2590c71e4e8c33f20c3449407a72.tar.gz |
Documentation/git-update-server-info.txt: Add -f alias for --force to documentation.
Signed-off-by: Nikolai Weibull <nikolai@bitwi.se>
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 3d0dea07fb..527fb303eb 100644 --- a/Documentation/git-update-server-info.txt +++ b/Documentation/git-update-server-info.txt @@ -22,7 +22,7 @@ pull decisions. This command generates such auxiliary files. OPTIONS ------- ---force:: +-f|--force:: Update the info files from scratch. |