#ifndef lint
static char rcsid_lock_file_c [] =
"$Id$";
-#endif lint
+#endif /* lint */
#include <krb5/copyright.h>
#ifndef lint
static char rcsid_read_pwd_c[] =
"$Id$";
-#endif lint
+#endif /* lint */
#include <krb5/copyright.h>
#ifndef lint
static char rcsid_timeofday_c[] =
"$Id$";
-#endif lint
+#endif /* lint */
#include <krb5/copyright.h>
#ifndef lint
static char rcsid_unlock_file_c [] =
"$Id$";
-#endif lint
+#endif /* lint */
#include <krb5/copyright.h>