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