diff options
Diffstat (limited to 'info/echo-area.h')
-rw-r--r-- | info/echo-area.h | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/info/echo-area.h b/info/echo-area.h index da397b6..132e1b2 100644 --- a/info/echo-area.h +++ b/info/echo-area.h @@ -1,10 +1,8 @@ /* echo-area.h -- Functions used in reading information from the echo area. - $Id: echo-area.h,v 1.8 2008/02/26 16:51:05 karl Exp $ + $Id: echo-area.h 5337 2013-08-22 17:54:06Z karl $ - This file is part of GNU Info, a program for reading online documentation - stored in Info format. - - Copyright (C) 1993, 1997, 2004, 2007 Free Software Foundation, Inc. + Copyright 1993, 1997, 2004, 2007, 2008, 2011, 2013 + Free Software Foundation, Inc. This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -19,7 +17,7 @@ You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. - Written by Brian Fox (bfox@ai.mit.edu). */ + Originally written by Brian Fox. */ #ifndef INFO_ECHO_AREA_H #define INFO_ECHO_AREA_H |