diff options
author | Martin Ågren <martin.agren@gmail.com> | 2019-03-17 19:36:01 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-03-18 15:54:17 +0900 |
commit | bc71dc3fa1561c301098796b47cd7ef721cb68f9 (patch) | |
tree | bb324929d78b3d3114e8b88cdd1819fa606431df /userdiff.h | |
parent | Doc: auto-detect changed build flags (diff) | |
download | tgif-bc71dc3fa1561c301098796b47cd7ef721cb68f9.tar.xz |
doc-diff: let `render_tree()` take an explicit directory name
In `render_tree()`, `$1` is documented to be the commit-ish/oid and we
use it as that with `git checkout`, but we mostly use it to form the
name of various directories. To separate these concerns, and because we
are about to construct the directory names a bit differently, take two
distinct arguments instead.
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'userdiff.h')
0 files changed, 0 insertions, 0 deletions