mycroft e9d867ef50 Add RCS identifiers.		1993-08-01 17:54:45 +00:00
..
Makefile	…
reboot.c	Add RCS identifiers.	1993-08-01 17:54:45 +00:00
reboot_hp300.8	Add RCS indentifiers.	1993-08-01 07:32:48 +00:00
reboot_i386.8	Add RCS indentifiers.	1993-08-01 07:32:48 +00:00