/Makefile/1.1/Thu Feb 28 06:58:21 2002//
/deroff.1/1.11/Wed Aug  3 07:38:09 2022//
/deroff.c/1.15/Sun Sep  4 15:29:21 2016//
D
