diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2016-06-22 18:01:39 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-24 23:59:58 +0300 |
commit | 179795e51171ebf10932b553d7df72819fa4a7b5 (patch) | |
tree | c7f07f0c5ada531ac4659a89c6288aa6522c1013 /graph.c | |
parent | 4d7b0efc5e2eea1923803dd9c5d5d1288c99cd00 (diff) |
line-log: respect diffopt's configured output file stream
The diff machinery can optionally output to a file stream other than
stdout, by overriding diffopt.file. In such a case, the rest of the
log tree machinery should also write to that stream.
Currently, there is no user of the line level log that wants to
redirect output to a file. Therefore, one might argue that it is
superfluous to support that now. However, it is better to be
consistent now, rather than to face hard-to-debug problems later.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'graph.c')
0 files changed, 0 insertions, 0 deletions