     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"
changeset 91	aa1d248fa51b
parent 90	f7653e06e3c6
child 92	1159b1384a78