# HG changeset patch # User "Yann E. MORIN" # Date 1279180315 -7200 # Node ID 38cc05a621f015cafdfb50be0092063bd7094d66 # Parent a8a4d5c9773893fa6978e5f9e1445d1e8185c24a kernel/mingw32: mark as being EXPERIMENTAL diff -r a8a4d5c97738 -r 38cc05a621f0 config/kernel/mingw32.in --- a/config/kernel/mingw32.in Thu Jul 15 22:34:31 2010 +0200 +++ b/config/kernel/mingw32.in Thu Jul 15 09:51:55 2010 +0200 @@ -1,4 +1,5 @@ # mingw32 config options +# depends on EXPERIMENTAL config KERNEL_mingw32 select MINGW32