diff options
Diffstat (limited to 'info/echo-area.h')
-rw-r--r-- | info/echo-area.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/info/echo-area.h b/info/echo-area.h index 0cf8dec4..1e4af964 100644 --- a/info/echo-area.h +++ b/info/echo-area.h @@ -1,5 +1,5 @@ /* echo-area.h -- Functions used in reading information from the echo area. - $Id: echo-area.h,v 1.9 2011/10/18 18:47:19 karl Exp $ + $Id: echo-area.h 5191 2013-02-23 00:11:18Z karl $ This file is part of GNU Info, a program for reading online documentation stored in Info format. |