31,32d30
< *
< * $Id$
34a33,37
> #ifndef lint
> static const char rcsid[] =
> "$Id$";
> #endif /* not lint */
>
38,41d40
< #ifndef lint
< static const char rcsid[] = "$Id$";
< #endif
<