Merge branch 'jk/rev-list-has-no-notes'
authorJunio C Hamano <gitster@pobox.com>
Mon, 31 Aug 2015 22:38:54 +0000 (15:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 31 Aug 2015 22:38:55 +0000 (15:38 -0700)
commit0bb71fb36d60902a2efffd7e6df1cc821884e67c
treea2d27d511fa3d4b085ce46a8414212de35f4064b
parent5a4f07b32207044eb8380f2893f807cc8ab9d58f
parent2aea7a51a11598427d5b57e4bc042930d592547f
Merge branch 'jk/rev-list-has-no-notes'

"git rev-list" does not take "--notes" option, but did not complain
when one is given.

* jk/rev-list-has-no-notes:
  rev-list: make it obvious that we do not support notes
Documentation/rev-list-options.txt