diff options
author | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2010-08-22 13:12:12 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-08-22 13:25:08 -0700 |
commit | 22e5e58a3c75b73764b860907e4d871195f276ac (patch) | |
tree | 7c0670afe68e908bb829347268bba9a771b78e84 /contrib/workdir | |
parent | 0eb032d86c99ac8f23435ad5ea9f2b83f1be744f (diff) | |
download | git-22e5e58a3c75b73764b860907e4d871195f276ac.tar.gz git-22e5e58a3c75b73764b860907e4d871195f276ac.tar.xz |
Typos in code comments, an error message, documentation
Signed-off-by: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/workdir')
-rwxr-xr-x | contrib/workdir/git-new-workdir | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/workdir/git-new-workdir b/contrib/workdir/git-new-workdir index 993cacf32..3ad2c0cea 100755 --- a/contrib/workdir/git-new-workdir +++ b/contrib/workdir/git-new-workdir @@ -54,13 +54,13 @@ then die "destination directory '$new_workdir' already exists." fi -# make sure the the links use full paths +# make sure the links use full paths git_dir=$(cd "$git_dir"; pwd) # create the workdir mkdir -p "$new_workdir/.git" || die "unable to create \"$new_workdir\"!" -# create the links to the original repo. explictly exclude index, HEAD and +# create the links to the original repo. explicitly exclude index, HEAD and # logs/HEAD from the list since they are purely related to the current working # directory, and should not be shared. for x in config refs logs/refs objects info hooks packed-refs remotes rr-cache svn |