diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-04-16 19:28:09 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-04-16 19:28:09 +0900 |
commit | 08c9757a76eaeae1a600b98932e65bd339a73e25 (patch) | |
tree | 4dc6ca26ee453e3369c814c60131e608b02ea6f0 /gitk-git | |
parent | Merge branch 'tz/t4038-bash-redirect-target-workaround' (diff) | |
parent | doc-diff: add `--cut-header-footer` (diff) | |
download | tgif-08c9757a76eaeae1a600b98932e65bd339a73e25.tar.xz |
Merge branch 'ma/doc-diff-doc-vs-doctor-comparison'
Dev support update to make it easier to compare two formatted
results from our documentation.
* ma/doc-diff-doc-vs-doctor-comparison:
doc-diff: add `--cut-header-footer`
doc-diff: support diffing from/to AsciiDoc(tor)
doc-diff: let `render_tree()` take an explicit directory name
Doc: auto-detect changed build flags
Diffstat (limited to 'gitk-git')
0 files changed, 0 insertions, 0 deletions