diff options
| author | Denton Liu <liu.denton@gmail.com> | 2017-02-06 22:32:07 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-02-08 13:30:28 -0800 |
| commit | 56c2da57fe578d8cb4c6b4fd7d08669944976c35 (patch) | |
| tree | b84782bd7dbdda22cc8024400c7bb6c64c967582 /diff.c | |
| parent | 6e3a7b3398559305c7a239a42e447c21a8f39ff8 (diff) | |
| download | git-56c2da57fe578d8cb4c6b4fd7d08669944976c35.tar.gz | |
Document the --no-gui option in difftooldl/difftool-doc-no-gui-option
Prior to this, the `--no-gui` option was not documented in the manpage.
This commit introduces this into the manpage
Signed-off-by: Denton Liu <liu.denton@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'diff.c')
0 files changed, 0 insertions, 0 deletions