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 /Documentation/git-push.txt | |
| 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 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions