diff options
Diffstat (limited to 'man5/shells.5')
| -rw-r--r-- | man5/shells.5 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man5/shells.5 b/man5/shells.5 index 76b7336a..d976809c 100644 --- a/man5/shells.5 +++ b/man5/shells.5 @@ -1,6 +1,7 @@ .\" Copyright (c) 1993 Michael Haardt (michael@moria.de), .\" Thu May 20 20:45:48 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 @@ -19,6 +20,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 Sat Jul 24 17:11:07 1993 by Rik Faith (faith@cs.unc.edu) .\" Modified Sun Nov 21 10:49:38 1993 by Michael Haardt |