From bca885205da7f15208946f0896edc2eda3caff01 Mon Sep 17 00:00:00 2001 From: phk Date: Fri, 6 Sep 1996 23:09:20 +0000 Subject: Remove devconf, it never grew up to be of any use. --- sys/kern/kern_shutdown.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'sys/kern/kern_shutdown.c') diff --git a/sys/kern/kern_shutdown.c b/sys/kern/kern_shutdown.c index 00ab693..3242526 100644 --- a/sys/kern/kern_shutdown.c +++ b/sys/kern/kern_shutdown.c @@ -36,7 +36,7 @@ * SUCH DAMAGE. * * @(#)kern_shutdown.c 8.3 (Berkeley) 1/21/94 - * $Id: kern_shutdown.c,v 1.3 1996/08/22 03:50:20 julian Exp $ + * $Id: kern_shutdown.c,v 1.4 1996/08/26 21:47:56 julian Exp $ */ #include "opt_ddb.h" @@ -53,7 +53,6 @@ #include #include #include -#include #include #include -- cgit v1.1