diff options
Diffstat (limited to 'robots/main.c')
| -rw-r--r-- | robots/main.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/robots/main.c b/robots/main.c index d30928b7..eb20fadd 100644 --- a/robots/main.c +++ b/robots/main.c @@ -38,7 +38,8 @@ char copyright[] = #endif /* not lint */ #ifndef lint -static char sccsid[] = "@(#)main.c 5.5 (Berkeley) 2/28/91"; +/*static char sccsid[] = "from: @(#)main.c 5.5 (Berkeley) 2/28/91";*/ +static char rcsid[] = "$Id: main.c,v 1.2 1993/08/01 18:52:46 mycroft Exp $"; #endif /* not lint */ # include "robots.h" |