Stylistic changes.

This commit is contained in:
Garrett Wollman 1994-10-26 21:10:13 +00:00
parent dc6e5623e1
commit d1a27c8dab
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=3916
3 changed files with 12 additions and 6 deletions

View file

@ -4,7 +4,7 @@
#
# This kernel is NOT MEANT to be runnable!
#
# $Id: LINT,v 1.99 1994/10/24 22:18:12 sos Exp $
# $Id: LINT,v 1.100 1994/10/26 19:20:27 jkh Exp $
#
#
@ -103,7 +103,9 @@ options KTRACE #kernel tracing
#
options DIAGNOSTIC
# Enable the dynamic device configuration utility (boot with -c)
#
# Enable the in-kernel boot-time device configuration utility (boot with -c)
#
options USERCONFIG

View file

@ -4,7 +4,7 @@
#
# This kernel is NOT MEANT to be runnable!
#
# $Id: LINT,v 1.99 1994/10/24 22:18:12 sos Exp $
# $Id: LINT,v 1.100 1994/10/26 19:20:27 jkh Exp $
#
#
@ -103,7 +103,9 @@ options KTRACE #kernel tracing
#
options DIAGNOSTIC
# Enable the dynamic device configuration utility (boot with -c)
#
# Enable the in-kernel boot-time device configuration utility (boot with -c)
#
options USERCONFIG

View file

@ -4,7 +4,7 @@
#
# This kernel is NOT MEANT to be runnable!
#
# $Id: LINT,v 1.99 1994/10/24 22:18:12 sos Exp $
# $Id: LINT,v 1.100 1994/10/26 19:20:27 jkh Exp $
#
#
@ -103,7 +103,9 @@ options KTRACE #kernel tracing
#
options DIAGNOSTIC
# Enable the dynamic device configuration utility (boot with -c)
#
# Enable the in-kernel boot-time device configuration utility (boot with -c)
#
options USERCONFIG