dg 6b466831f4 Converted 'vmunix' to 'kernel'.		1994-08-05 09:14:37 +00:00
..
Makefile	Convert to our man installation style. Also fixed long-standing bug	1994-08-05 02:42:42 +00:00
savecore.8	Converted 'vmunix' to 'kernel'.	1994-08-05 09:14:37 +00:00
savecore.c	Converted 'vmunix' to 'kernel'.	1994-08-05 09:14:37 +00:00