Merge branch 'cn/maint-rev-list-doc'
authorJunio C Hamano <gitster@pobox.com>
Thu, 1 Mar 2012 22:44:28 +0000 (14:44 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 1 Mar 2012 22:44:28 +0000 (14:44 -0800)
* cn/maint-rev-list-doc:
  Documentation: use {asterisk} in rev-list-options.txt when needed


Trivial merge