diff options
author | Elia Pinto <gitter.spiros@gmail.com> | 2016-09-20 07:33:14 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-09-21 11:12:41 -0700 |
commit | 92dece7024fc0152c6de41a65cfb0df469c747e5 (patch) | |
tree | a82f74a1108c04ece47aac9e79075106218e12a6 /Documentation/git-tools.txt | |
parent | Merge branch 'jk/war-on-sprintf' into maint-2.7 (diff) | |
download | tgif-92dece7024fc0152c6de41a65cfb0df469c747e5.tar.xz |
git-check-ref-format.txt: fixup documentation
die is not a standard shell function. Use
a different shell code for the example.
Signed-off-by: Elia Pinto <gitter.spiros@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-tools.txt')
0 files changed, 0 insertions, 0 deletions