doc: Minor edit for a gpg option.
authorWerner Koch <wk@gnupg.org>
Tue, 14 May 2019 08:07:06 +0000 (10:07 +0200)
committerWerner Koch <wk@gnupg.org>
Tue, 14 May 2019 08:07:06 +0000 (10:07 +0200)
commit3c2198e907c6e37ef227370b3ec95cc9198cf400
treef0421c10b47415d1bcf24955fddd6cd7852d6719
parent7102d9b798b0985412007d3bf8b954959e4adec7
doc: Minor edit for a gpg option.

--
GnuPG-bug-id: 4507
doc/gpg.texi