]> granicus.if.org Git - git/commitdiff
Merge branch 'kb/fast-hashmap'
authorJunio C Hamano <gitster@pobox.com>
Mon, 19 May 2014 17:32:25 +0000 (10:32 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 May 2014 17:32:25 +0000 (10:32 -0700)
* kb/fast-hashmap:
  Documentation/technical/api-hashmap: remove source highlighting


Trivial merge