diff options
| author | Jeff King <peff@peff.net> | 2007-07-02 01:28:20 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-02 01:33:45 -0700 |
| commit | 792d2370f975f032a708cb35044193b5b5310840 (patch) | |
| tree | c1f487f7b0a8b7fa2f10ac60815d9e5b0f75f4d8 /Documentation/git-branch.txt | |
| parent | 967506bbbdc38e75263d6e6a90e3b8dbba6cec0f (diff) | |
| download | git-792d2370f975f032a708cb35044193b5b5310840.tar.gz | |
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>
Diffstat (limited to 'Documentation/git-branch.txt')
| -rw-r--r-- | Documentation/git-branch.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/git-branch.txt b/Documentation/git-branch.txt index 9713f906bf..bb6b57dc2d 100644 --- a/Documentation/git-branch.txt +++ b/Documentation/git-branch.txt @@ -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:: |