diff options
author | Todd Zullinger <tmz@pobox.com> | 2020-05-18 15:37:36 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-05-18 12:54:53 -0700 |
commit | 01b62aaf11a0cbaa1ddce8a9e2b9940985a103af (patch) | |
tree | c3d502d23c62ad988903e219e5ccd7ae760a8380 /t/t4013/diff.diff-tree_--root_--patch-with-stat_initial | |
parent | bugreport: drop extraneous includes (diff) | |
download | tgif-01b62aaf11a0cbaa1ddce8a9e2b9940985a103af.tar.xz |
git-bugreport.txt: adjust reference to strftime(3)
The strftime(3) man page is outside of the Git suite. Refererence it as
we do other external man pages and avoid creating a broken link when
generating the HTML documentation.
Signed-off-by: Todd Zullinger <tmz@pobox.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff-tree_--root_--patch-with-stat_initial')
0 files changed, 0 insertions, 0 deletions