From f8db905cdbcd894260e191342e1834f2fa092c2b Mon Sep 17 00:00:00 2001
From: Julian Elischer <julian@FreeBSD.org>
Date: Thu, 2 Jul 1998 05:50:57 +0000
Subject: [PATCH] Remove unused option

---
 sys/conf/options | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/sys/conf/options b/sys/conf/options
index 2ee2605ad623..eacbb498aae2 100644
--- a/sys/conf/options
+++ b/sys/conf/options
@@ -1,4 +1,4 @@
-#	$Id: options,v 1.84 1998/06/30 08:32:50 jmg Exp $
+#	$Id: options,v 1.85 1998/06/30 14:43:00 bde Exp $
 #
 #        On the handling of kernel options   
 # 
@@ -172,8 +172,6 @@ IPFIREWALL		opt_ipfw.h
 IPFIREWALL_VERBOSE	opt_ipfw.h
 IPFIREWALL_VERBOSE_LIMIT	opt_ipfw.h
 IPFIREWALL_DEFAULT_TO_ACCEPT	opt_ipfw.h
-#temp option to change ipfw/divert semantics. Should become standard.
-IPFW_DIVERT_OLDRESTART	opt_ipfw.h
 IPX			opt_ipx.h
 IPXIP			opt_ipx.h
 IPTUNNEL		opt_ipx.h