Changed license of the manual stuff to GPL.
[gnupg.git] / doc / tools.texi
2004-09-29 Werner KochChanged license of the manual stuff to GPL.