mirror of
git://git.gnupg.org/gnupg.git
synced 2025-01-30 16:17:02 +01:00
502be0ce06
* tools.texi (Changing options): Add documentation for gpgconf.