mycroft 5ebbc28faa Update file names. This man page needs some more work.		1993-06-13 22:35:14 +00:00
..
Makefile	changed "Id" to "Header" for rcsids	1993-03-23 00:22:59 +00:00
reboot.c	changed "Id" to "Header" for rcsids	1993-03-23 00:22:59 +00:00
reboot_hp300.8	add hp300 man page	1993-05-13 13:49:13 +00:00
reboot_i386.8	Update file names. This man page needs some more work.	1993-06-13 22:35:14 +00:00