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_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

reboot.c

changed "Id" to "Header" for rcsids

1993-03-23 00:22:59 +00:00