* gpg.texi (GPG Configuration Options): Document keyserver options
authorDavid Shaw <dshaw@jabberwocky.com>
Fri, 14 Aug 2009 19:43:26 +0000 (19:43 +0000)
committerDavid Shaw <dshaw@jabberwocky.com>
Fri, 14 Aug 2009 19:43:26 +0000 (19:43 +0000)
commit1b617708486c83f9c3e439b8e0b58caa9252f977
tree1363de2532434ab1ef42a6b99ae4e3e297eecffb
parentad2f89685539232d8c98cca2843b51975e83da8b
* gpg.texi (GPG Configuration Options): Document keyserver options
check-cert and ca-cert-file.
doc/ChangeLog
doc/gpg.texi