/back/1.4/Thu Aug  7 10:30:59 2003//
/break/1.1.1.1/Tue Jun 29 13:24:44 1993//
/cover/1.4/Thu Aug  7 10:30:59 2003//
/cshcmd/1.1.1.1/Thu May  5 23:07:22 1994//
/groff.sed/1.1.1.1/Mon Jul  5 18:41:19 1993//
/ignore/1.1.1.1/Tue Jun 29 13:25:07 1993//
/makewhatis.sed/1.1/Fri May  9 14:31:27 1997//
/title.prm/1.4/Thu Aug  7 10:30:59 2003//
/tocrc/1.4/Wed Mar 31 02:10:00 2004//
/intros/1.6/Tue Feb 25 03:04:01 2014//
/title.cdrom/1.8/Fri May  5 03:01:34 2023//
/title.urm/1.10/Fri May  5 03:01:34 2023//
/noman/1.2/Tue May 23 03:01:34 2023//
/Makefile/1.19/Sat Apr  6 03:01:29 2024//
D