Gregory Nutt 3a74a438d9 Rename CONFIG_DEBUG_VERBOSE to CONFIG_DEBUG_INFO		2016-06-11 11:50:18 -06:00
..
cxxtest	Rename CONFIG_DEBUG_VERBOSE to CONFIG_DEBUG_INFO	2016-06-11 11:50:18 -06:00
default	Rename CONFIG_ARCH_HAVE_SCIn to CONFIG_SCIn_SERIALDRIVER	2016-05-25 10:46:55 -06:00
helloxx	Rename CONFIG_DEBUG_VERBOSE to CONFIG_DEBUG_INFO	2016-06-11 11:50:18 -06:00
nsh	Rename CONFIG_DEBUG_VERBOSE to CONFIG_DEBUG_INFO	2016-06-11 11:50:18 -06:00