doc: Fix name of gpg's option --tofu-policy
authorWerner Koch <wk@gnupg.org>
Fri, 29 Apr 2016 09:05:55 +0000 (11:05 +0200)
committerWerner Koch <wk@gnupg.org>
Fri, 29 Apr 2016 09:05:55 +0000 (11:05 +0200)
commit300b227cf457deb918f25bcece0d734b61ae1348
treeb733e7f3233446a63661be32e7400ee839581bb6
parent64bfeafa52a5ed3fa82bdc0ce7ef0edddeef188c
doc: Fix name of gpg's option --tofu-policy

--

Signed-off-by: Werner Koch <wk@gnupg.org>
doc/gpg.texi