Merge branch 'dc/gitweb'
authorJunio C Hamano <gitster@pobox.com>
Mon, 3 Dec 2007 03:07:48 +0000 (19:07 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 3 Dec 2007 03:07:48 +0000 (19:07 -0800)
* dc/gitweb:
  gitweb: the commitdiff is very commonly used, it's needed on search page, too


Trivial merge