diff options
Diffstat (limited to 'man7/intro.7')
| -rw-r--r-- | man7/intro.7 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man7/intro.7 b/man7/intro.7 index 8140a567a5..92f1f226fc 100644 --- a/man7/intro.7 +++ b/man7/intro.7 @@ -2,6 +2,7 @@ .\" (michael@moria.de), Fri Apr 2 11:32:09 MET DST .\" 1993 .\" +.\" %%%LICENSE_START(GPLv2+_doc_full) .\" This is free documentation; you can redistribute it and/or .\" modify it under the terms of the GNU General Public License as .\" published by the Free Software Foundation; either version 2 of @@ -20,6 +21,7 @@ .\" You should have received a copy of the GNU General Public .\" License along with this manual; if not, see .\" <http://www.gnu.org/licenses/>. +.\" %%%LICENSE_END .\" .\" Modified by Thomas Koenig (ig25@rz.uni-karlsruhe.de) 24 Apr 1993 .\" Modified Sat Jul 24 17:28:08 1993 by Rik Faith (faith@cs.unc.edu) |