Andrew's git / gitweb.git / diff
?
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