cs00chs@unccvax.UUCP (charles spell) (11/15/89)
What are the major/minor device numbers for /dev/tty[12]?