doc: Do not mention gpg's deprecated --keyserver option.
authorWerner Koch <wk@gnupg.org>
Wed, 15 May 2019 07:18:28 +0000 (09:18 +0200)
committerWerner Koch <wk@gnupg.org>
Wed, 15 May 2019 07:18:28 +0000 (09:18 +0200)
commit42adb56e660a2e8533ae23cb432037485c2c1022
treeda599d19c31cf4510d92dfc39ca88d79ef40f9ea
parent392e59a3d487e174edcea570e69a0f946c55a19a
doc: Do not mention gpg's deprecated --keyserver option.

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