/Makefile/1.3/Sun Sep 21 11:38:20 1997//
/ttyflags.8/1.11/Thu May 31 19:19:48 2007//
/ttyflags.c/1.15/Tue Jun  4 15:45:58 2019//
D
