Merge branch 'rd/doc-notes-prune-fix'
authorJunio C Hamano <gitster@pobox.com>
Wed, 6 Dec 2017 17:23:40 +0000 (09:23 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 6 Dec 2017 17:23:40 +0000 (09:23 -0800)
Doc update.

* rd/doc-notes-prune-fix:
  notes: correct 'git notes prune' options to '[-n] [-v]'


No differences found