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 /git-gui/lib/choose_font.tcl | |
| 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 'git-gui/lib/choose_font.tcl')
0 files changed, 0 insertions, 0 deletions