Searched defs:stdin_file (Results 1 – 1 of 1) sorted by relevance
304 FILE *stdin_file; /* FILE pointer to stdin source file */ variable
Completed in 13 milliseconds