diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-02-18 20:43:00 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-02-18 20:43:00 (GMT) |
| commit | 50995edda69b4d6d84452a392f0e1fa86280ac2c (patch) | |
| tree | a81c5dac9c7b67e97f8bf8d296f4f66c04d9a4fb /Documentation/user-manual.txt | |
| parent | d9be2485e284d9d73b071b2946fff0b19f97aaa7 (diff) | |
| download | git-50995edda69b4d6d84452a392f0e1fa86280ac2c.zip git-50995edda69b4d6d84452a392f0e1fa86280ac2c.tar.gz git-50995edda69b4d6d84452a392f0e1fa86280ac2c.tar.bz2 | |
user-manual: typofix (ofthe->of the)
Noticed by Drew Northup
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/user-manual.txt')
| -rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 7c534dc..299fc1e 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1988,7 +1988,7 @@ Note that the target of a "push" is normally a <<def_bare_repository,bare>> repository. You can also push to a repository that has a checked-out working tree, but a push to update the currently checked-out branch is denied by default to prevent confusion. -See the description ofthe receive.denyCurrentBranch option +See the description of the receive.denyCurrentBranch option in linkgit:git-config[1] for details. As with `git fetch`, you may also set up configuration options to |