Merge branch 'rm/gpg-program-doc-fix'
authorJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2019 20:59:21 +0000 (13:59 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2019 20:59:21 +0000 (13:59 -0700)
Docfix.

* rm/gpg-program-doc-fix:
  gpg(docs): use correct --verify syntax


No differences found