diff options
author | Denis Vlasenko <vda.linux@googlemail.com> | 2008-05-13 06:43:27 +0400 |
---|---|---|
committer | Denis Vlasenko <vda.linux@googlemail.com> | 2008-05-13 06:43:27 +0400 |
commit | 9305cdddbf83ed11fc8164e7f1e624538611be22 (patch) | |
tree | 17fdc564a28838e1bd5fd4265af23ecc1aa5a990 /TODO_config_nommu | |
parent | 77ad97f199f1bf05e9a7609bbdd239dab825b258 (diff) |
Kill CONFIG_NITPICK, it turned out to not be useful. no code changes.
Diffstat (limited to 'TODO_config_nommu')
-rw-r--r-- | TODO_config_nommu | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/TODO_config_nommu b/TODO_config_nommu index 3cbe7f415..308e5d7fa 100644 --- a/TODO_config_nommu +++ b/TODO_config_nommu @@ -12,7 +12,6 @@ CONFIG_HAVE_DOT_CONFIG=y # # General Configuration # -CONFIG_NITPICK=y CONFIG_DESKTOP=y CONFIG_FEATURE_BUFFERS_USE_MALLOC=y # CONFIG_FEATURE_BUFFERS_GO_ON_STACK is not set |