git: kernel: Remove some no longer used options.

[Sascha Wildner]

commit 6508b51308b70c71d35ad1dfa20aad4133b747b1
Author: Sascha Wildner <saw at online.de>
Date:   Fri Jul 19 17:54:27 2013 +0200

    kernel: Remove some no longer used options.

Summary of changes:
 sys/config/LINT                | 12 ------------
 sys/platform/pc32/conf/options |  3 ---
 2 files changed, 15 deletions(-)

http://gitweb.dragonflybsd.org/dragonfly.git/commitdiff/6508b51308b70c71d35ad1dfa20aad4133b747b1


-- 
DragonFly BSD source repository