cgd 06e2955ff1 specify man pages the new way.		1994-12-22 10:44:04 +00:00
..
Makefile	specify man pages the new way.	1994-12-22 10:44:04 +00:00
halt.8	Add RCS indentifiers.	1993-08-01 07:32:48 +00:00
halt.c	more cleanups from Jim Jegers, passed over by me.	1994-12-05 20:15:31 +00:00