work around bug in menuconfig without DEVELOPER=1 (target arch)
[openwrt.git] / Config.in.devel
2005-04-05 nbdhide experimental/developer options from the user....