1.1 --- a/config/kernel_cygwin.in Sun May 13 19:09:55 2007 +0000 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,5 +0,0 @@ 1.4 -# Cygwin 'kernel' options 1.5 - 1.6 -config KERNEL 1.7 - string 1.8 - default "cygwin"