cgd cc345dc38d remove these (deprecated) files. port maintainers were warned about ... their impending disappearance a while ago; they can still be retrieved from the attic.		1995-04-23 10:58:38 +00:00
..
boot_hp300.8	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
boot_i386.8	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
boot_sparc.8	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
boot_tahoe.8	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
boot_vax.8	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
Makefile	pseudo-merge with Lite; man pages need to be merged seperately, but	1995-03-18 16:11:33 +00:00
reboot.8	pseudo-merge with Lite; man pages need to be merged seperately, but	1995-03-18 16:11:33 +00:00
reboot.c	pseudo-merge with Lite; man pages need to be merged seperately, but	1995-03-18 16:11:33 +00:00