configs/rgmp/x86/default: Configuration converted to use the kconfig-frontends tools

This commit is contained in:
Gregory Nutt
2014-03-06 11:47:16 -06:00
parent 2993bd108d
commit 4bbbe80a31
7 changed files with 654 additions and 252 deletions
+2
View File
@@ -6914,3 +6914,5 @@
kconfig-frontends tools (2014-3-6)
* configs/rgmp/arm/nsh: Configuration converted to use the
kconfig-frontends tools (2014-3-6)
* configs/rgmp/x86/default: Configuration converted to use the
kconfig-frontends tools (2014-3-6)