diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2017-02-10 12:52:26 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-02-10 12:52:26 -0800 |
| commit | 0ffe1c9c5f2ee6e2efeccff6cf67674130a9c39a (patch) | |
| tree | 90d9f935221147a2c4c2a09ebfd55be587f26c3d /userdiff.c | |
| parent | Merge branch 'js/difftool-builtin' (diff) | |
| parent | Document the --no-gui option in difftool (diff) | |
| download | tgif-0ffe1c9c5f2ee6e2efeccff6cf67674130a9c39a.tar.xz | |
Merge branch 'dl/difftool-doc-no-gui-option'
Doc update.
* dl/difftool-doc-no-gui-option:
Document the --no-gui option in difftool
Diffstat (limited to 'userdiff.c')
0 files changed, 0 insertions, 0 deletions