Re: [PATCH v9 3/4] vimdiff: add tool documentation

> > typo here: implementation (by bad!)
> >
> > Maybe Junio will correct it before merging to next ?
> 
> Thanks.
> 
> $ git range-diff @{1}...
> 1:  7efd9fdf62 ! 1:  7b5cf8be18 vimdiff: add tool documentation
>     @@ Commit message
>          take configuration options not explained anywhere else (as it is the
>          case with the 'vimdiff' tool and the new 'layout' option)
>      
>     -    Note that the function 'show_tool_names', used in the implmentation of
>     +    Note that the function 'show_tool_names', used in the implementation of
>          'git mergetool --tool-help', is also used in Documentation/Makefile to
>          generate the list of allowed values for the configuration variables
>          '{diff,merge}.{gui,}tool'. Adjust the rule so its output is an Asciidoc
> 2:  3e7aa9c425 = 2:  980145f747 mergetools: add description to all diff/merge tools