'options DEVFS' isn't anymore, so remove useless VKERNEL_DEVFS config.
authorSascha Wildner <saw@online.de>
Tue, 11 Aug 2009 08:12:40 +0000 (10:12 +0200)
committerSascha Wildner <saw@online.de>
Tue, 11 Aug 2009 08:12:58 +0000 (10:12 +0200)
commit5466e0749b2fd015659c1dd7889b2d2d0a0e70b7
tree74d8803085c76405de864fa6778e007a3e550a4c
parent48dff0ad7fea72c7fb142321d17dd6561baf7378
'options DEVFS' isn't anymore, so remove useless VKERNEL_DEVFS config.
sys/config/VKERNEL_DEVFS [deleted file]