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