projects / openwrt-10.03 / .git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
disable non-essential packages by default if DEVELOPER is unset on make menuconfig
[openwrt-10.03/.git] / package / gmp / Config.in
1 config BR2_PACKAGE_GMP
2         tristate "libgmp"
3         default m if CONFIG_DEVEL
4         help
5           libgmp
6           
Unnamed repository; edit this file 'description' to name the repository.