diff options
Diffstat (limited to 'robots/flush_in.c')
| -rw-r--r-- | robots/flush_in.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/robots/flush_in.c b/robots/flush_in.c index 13db1e7b..a9d91b69 100644 --- a/robots/flush_in.c +++ b/robots/flush_in.c @@ -32,7 +32,8 @@ */ #ifndef lint -static char sccsid[] = "@(#)flush_in.c 5.4 (Berkeley) 6/1/90"; +/*static char sccsid[] = "from: @(#)flush_in.c 5.4 (Berkeley) 6/1/90";*/ +static char rcsid[] = "$Id: flush_in.c,v 1.2 1993/08/01 18:52:48 mycroft Exp $"; #endif /* not lint */ # include <curses.h> |