diff options
author | Anders Kaseorg <andersk@MIT.EDU> | 2014-05-17 07:08:55 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-05-19 10:31:36 -0700 |
commit | c2538fd6ba16c18b4b0921ca8252e56e94af1449 (patch) | |
tree | f8c043c7891ca1727bbb4e47a0295d9110846278 /Documentation/git-fetch.txt | |
parent | name-hash: retire unused index_name_exists() (diff) | |
download | tgif-c2538fd6ba16c18b4b0921ca8252e56e94af1449.tar.xz |
Documentation/technical/api-hashmap: remove source highlighting
The highlighting was pretty, but unfortunately, the failure mode
when source-highlight is not installed was that the entire code
block disappears.
See https://bugs.debian.org/745591,
https://bugs.launchpad.net/bugs/1316810.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-fetch.txt')
0 files changed, 0 insertions, 0 deletions