1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-06-09 15:16:11 +02:00

Documentation: minor cleanups to branch/checkout wording

Change "to made" to "made to", which is a typo. Use "reflog"
instead of "ref log", which is used elsewhere throughout the
documentation.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Jeff King 2007-07-02 01:28:20 -04:00 committed by Junio C Hamano
parent 967506bbbd
commit 792d2370f9
2 changed files with 5 additions and 5 deletions

View File

@ -41,7 +41,7 @@ to happen.
With a `-d` or `-D` option, `<branchname>` will be deleted. You may
specify more than one branch for deletion. If the branch currently
has a ref log then the ref log will also be deleted. Use -r together with -d
has a reflog then the reflog will also be deleted. Use -r together with -d
to delete remote-tracking branches.
@ -54,8 +54,8 @@ OPTIONS
Delete a branch irrespective of its index status.
-l::
Create the branch's ref log. This activates recording of
all changes to made the branch ref, enabling use of date
Create the branch's reflog. This activates recording of
all changes made to the branch ref, enabling use of date
based sha1 expressions such as "<branchname>@\{yesterday}".
-f::

View File

@ -62,8 +62,8 @@ OPTIONS
configuration variable.
-l::
Create the new branch's ref log. This activates recording of
all changes to made the branch ref, enabling use of date
Create the new branch's reflog. This activates recording of
all changes made to the branch ref, enabling use of date
based sha1 expressions such as "<branchname>@\{yesterday}".
-m::