Searched defs:ttyinf (Results 1 – 2 of 2) sorted by relevance
70 static FILE *ttyinf = NULL; /* input pointing at control tty */ variable
106 static FILE *ttyinf; /* input terminal for page pauses */ variable