changeset 1006 | bda04a723d17 |
parent 908 | 6db1117b2893 |
child 1337 | 7f742f73c2d1 |
1.1 --- a/config/kernel.in Mon Oct 06 20:13:05 2008 +0000 1.2 +++ b/config/kernel.in Tue Oct 28 15:07:28 2008 +0000 1.3 @@ -14,12 +14,6 @@ 1.4 config KERNEL_VERSION 1.5 string 1.6 1.7 -choice 1.8 - bool 1.9 - prompt "Target OS" 1.10 - 1.11 source config.gen/kernel.in 1.12 1.13 -endchoice 1.14 - 1.15 endmenu