diff options
Diffstat (limited to '')
-rw-r--r-- | doc/develenv/develenv.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi index 766a16a58c..baa0225bb9 100644 --- a/doc/develenv/develenv.texi +++ b/doc/develenv/develenv.texi @@ -8,7 +8,7 @@ @c %**end of header @c -@c COPYRIGHT (c) 1988-1997. +@c COPYRIGHT (c) 1988-1998. @c On-Line Applications Research Corporation (OAR). @c All rights reserved. @c |