Andrew's git / gitweb.git / diff
?
Merge branch 'rm/gpg-program-doc-fix' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 29 Jul 2019 19:38:12 +0000 (12:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Jul 2019 19:38:12 +0000 (12:38 -0700)
Docfix.

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

1  2 
Documentation/config/gpg.txt patch | diff1 | diff2 | blob | history
diff --cc Documentation/config/gpg.txt
Simple merge