1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-12-23 10:29:58 +01:00

1 Commits

Author SHA1 Message Date
Werner Koch
4604ae8e99 Changed license of the manual stuff to GPL.
* gnupg.texi (Top): New menu item Helper Tools.

* tools.texi (Helper Tools): New.
* Makefile.am (gnupg_TEXINFOS): Add tools.texi.
2004-09-29 11:04:30 +00:00