--- 43BSDReno/kerberosIV/krb/read_service_key.c 2018/04/24 16:12:56 1.1 +++ 43BSDReno/kerberosIV/krb/read_service_key.c 2018/04/24 16:12:56 1.1.1.1 @@ -11,7 +11,7 @@ #ifndef lint static char *rcsid_read_service_key_c = -"$Id: read_service_key.c,v 1.1 2018/04/24 16:12:56 root Exp $"; +"$Id: read_service_key.c,v 1.1.1.1 2018/04/24 16:12:56 root Exp $"; #endif /* lint */ #include