doc: Update man page for watchgnupg
authorWerner Koch <wk@gnupg.org>
Mon, 9 Jan 2017 07:54:45 +0000 (08:54 +0100)
committerWerner Koch <wk@gnupg.org>
Mon, 9 Jan 2017 07:54:45 +0000 (08:54 +0100)
commit2baba11fad6dd680a992260d161dffa1eeae0e42
tree890d380f71590f1118def38b20d7552d77066d74
parent88dc3af3d4ae1afe1d5e136bc4c38bc4e7d4cd10
doc: Update man page for watchgnupg

--

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