fetch: document that pruning happens before fetching

diff --git a/Documentation/git-log.txt b/Documentation/git-log.txt
index 6e65c5aa328d6dfc918f614aea4e08a569f51221..5692945a0b38c0b9e8e79e73a9a755c292224c98 100644 (file)
--- a/Documentation/git-log.txt
+++ b/Documentation/git-log.txt
@@ -184,7 +184,7 @@ log.date::
        `--date` option.)  Defaults to "default", which means to write
        dates like `Sat May 8 19:35:34 2010 -0500`.
 
-log.showroot::
+log.showRoot::
        If `false`, `git log` and related commands will not treat the
        initial commit as a big creation event.  Any root commits in
        `git log -p` output would be shown without a diff attached.