Searched refs:rcs_ident (Results 1 – 1 of 1) sorted by relevance
116 static char rcs_ident[] = variable1827 (void) fprintf(stderr, "%s, Berkeley 5.9 5/11/86\n", rcs_ident); in version()