* gpg.texi (GPG Configuration Options): Document keyserver-options
authorDavid Shaw <dshaw@jabberwocky.com>
Mon, 16 Mar 2009 18:45:46 +0000 (18:45 +0000)
committerDavid Shaw <dshaw@jabberwocky.com>
Mon, 16 Mar 2009 18:45:46 +0000 (18:45 +0000)
commita50a274d2091ae7a6b77da4f8335ea82478ac6f9
treea3b757d18e1c3e78d8affe997de5081b9f5aa0ae
parent94be7a43417f0a9b48b2e220a308e65d71b8c342
* gpg.texi (GPG Configuration Options): Document keyserver-options
debug.
doc/ChangeLog
doc/gpg.texi