diff options
| author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 09:28:15 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 22:24:39 +0400 |
| commit | 467c0197fd0a49078d05839ee385046cd3707a5b (patch) | |
| tree | 095670c2273f619614055a6cb82f05dd5842f397 /Documentation/git-reflog.txt | |
| parent | 7a7d4ef69c2c79b10977508794e1bbd62ca9ed2b (diff) | |
Documentation: more "git-" versus "git " changes
With git-commands moving out of $(bindir), it is useful to make a
clearer distinction between the git subcommand 'git-whatever' and
the command you type, `git whatever <options>`. So we use a dash
after "git" when referring to the former and not the latter.
I already sent a patch doing this same thing, but I missed some
spots.
Signed-off-by: Jonathan Nieder <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-reflog.txt')
| -rw-r--r-- | Documentation/git-reflog.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-reflog.txt b/Documentation/git-reflog.txt index 8492aeacf1..d963c5155d 100644 --- a/Documentation/git-reflog.txt +++ b/Documentation/git-reflog.txt @@ -60,7 +60,7 @@ OPTIONS refs. + This computation involves traversing all the reachable objects, i.e. it -has the same cost as 'git prune'. Fortunately, once this is run, we +has the same cost as 'git-prune'. Fortunately, once this is run, we should not have to ever worry about missing objects, because the current prune and pack-objects know about reflogs and protect objects referred by them. |