1
0
mirror of https://github.com/git/git.git synced 2024-11-20 16:24:06 +01:00

user-manual.txt: fix a tiny typo.

"file patch" was doubtless intended to be "file path",
but "directory name" is clearer.

Signed-off-by: Jim Meyering <jim@meyering.net>
Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
This commit is contained in:
Jim Meyering 2007-03-18 18:39:56 +01:00 committed by J. Bruce Fields
parent 0a3985dcfb
commit 21f13ee203

@ -1698,7 +1698,7 @@ If you and maintainer both have accounts on the same machine, then
then you can just pull changes from each other's repositories
directly; note that all of the commands (gitlink:git-clone[1],
git-fetch[1], git-pull[1], etc.) that accept a URL as an argument
will also accept a local file patch; so, for example, you can
will also accept a local directory name; so, for example, you can
use
-------------------------------------------------