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