kernel: Remove unused KTR_POLLING option.
authorSascha Wildner <saw@online.de>
Sun, 18 Nov 2012 21:34:36 +0000 (22:34 +0100)
committerSascha Wildner <saw@online.de>
Sun, 18 Nov 2012 21:34:36 +0000 (22:34 +0100)
commit1c297ed0a4786bac345a8193fb9e58601eb20b09
tree09fc8625d7b3c4a6cb47b0e76a3b1f95cd828b52
parentee1d6bea752eb502917fc0541b2afcd30aa1fd06
kernel: Remove unused KTR_POLLING option.
UPDATING
share/man/man4/ktr.4
sys/conf/options
sys/config/LINT
sys/config/LINT64