doc: Minor doc fix to dirmngr.
authorWerner Koch <wk@gnupg.org>
Fri, 3 May 2019 14:15:04 +0000 (16:15 +0200)
committerWerner Koch <wk@gnupg.org>
Fri, 3 May 2019 14:15:04 +0000 (16:15 +0200)
commitf43560a4d6cd44824654989ae043b346910e7a43
treef4b034cf500771a714bf4b5d14f02b6f012d6045
parentbdf252e76ada0056bec2ee7940255f32552328c5
doc: Minor doc fix to dirmngr.

--

Reported-by: dkg
doc/dirmngr.texi