Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 11 Aug 2008 21:28:35 +0000 (14:28 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 11 Aug 2008 21:28:35 +0000 (14:28 -0700)
commitac39efbdf3d41443c40166b7578b7fb87c2f3b60
treef72e1c547e81130e237246590769c06a75c89f46
parent10d9d887ecdc81197162d7bbe5dfc0d028498fd6
parente534735a4cd778ac8172f543869a20894c1022a6
Merge branch 'maint'

* maint:
  Re-fix rev-list-options documentation
Documentation/rev-list-options.txt