diff options
| author |  René Scharfe <l.s.r@web.de> | 2019-12-18 19:12:05 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-12-18 12:32:24 -0800 |
| commit | 01ed17dc8c1df52b0545a7eae368a72b79e2a24c (patch) | |
| tree | 709b40430ebf20d772253263c287b1b83807e1d7 /Documentation/git-format-patch.txt | |
| parent | t3501: don't create unused file (diff) | |
| download | tgif-01ed17dc8c1df52b0545a7eae368a72b79e2a24c.tar.xz | |
t5580: don't create unused file
The file "out" was introduced by 13b57da833 (mingw: verify that paths
are not mistaken for remote nicknames, 2017-05-29), but has not actually
been used then and since. Get rid of it.
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-format-patch.txt')
0 files changed, 0 insertions, 0 deletions