cgd b581ea7f60 add hp300 man page		1993-05-13 13:49:13 +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	changed "Id" to "Header" for rcsids	1993-03-23 00:22:59 +00:00