diff options
author | Martin von Gagern <Martin.vGagern@gmx.net> | 2013-04-03 23:54:33 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-04 03:14:19 +0400 |
commit | cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7 (patch) | |
tree | 171c87c632f41ae2596c22d260c943642eb65f04 /Documentation/glossary-content.txt | |
parent | 072dda68eafdefe56f9305c547771367353cf89d (diff) |
Documentation: Strip texinfo anchors to avoid duplicates
This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210.
Signed-off-by: Martin von Gagern <Martin.vGagern@gmx.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/glossary-content.txt')
0 files changed, 0 insertions, 0 deletions