diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-09-17 13:53:59 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-09-17 13:53:59 -0700 |
| commit | 98509d0f48ab2316699e0670da6b3e13616ed567 (patch) | |
| tree | 6ba53b2d288def4eaf91ee9a47b54cafd70092cb /builtin/commit.c | |
| parent | 07703ae057f5f6952d9ea4ee1cc34bfc889b4c5b (diff) | |
| parent | 6b6547b46f6f3d6895b61467604ee1f4d98b5a7f (diff) | |
Merge branch 'jk/diff-rendered-docs'
Dev doc update.
* jk/diff-rendered-docs:
Revert "doc/Makefile: drop doc-diff worktree and temporary files on "make clean""
doc/Makefile: drop doc-diff worktree and temporary files on "make clean"
doc-diff: add --clean mode to remove temporary working gunk
doc-diff: fix non-portable 'man' invocation
doc-diff: always use oids inside worktree
SubmittingPatches: mention doc-diff
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions