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