]> granicus.if.org Git - git/commitdiff
Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 19:54:05 +0000 (11:54 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 19:54:05 +0000 (11:54 -0800)
* maint:
  perf: update documentation of GIT_PERF_REPEAT_COUNT


Trivial merge