mirror of
git://git.gnupg.org/gnupg.git
synced 2025-04-17 15:44:34 +02:00

* gnupg.texi (Top): New menu item Helper Tools. * tools.texi (Helper Tools): New. * Makefile.am (gnupg_TEXINFOS): Add tools.texi.
* gnupg.texi (Top): New menu item Helper Tools. * tools.texi (Helper Tools): New. * Makefile.am (gnupg_TEXINFOS): Add tools.texi.