diff options
Diffstat (limited to 'debian/config-udeb-linux')
| -rw-r--r-- | debian/config-udeb-linux | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/config-udeb-linux b/debian/config-udeb-linux index be4e9fb48..b33fb22b0 100644 --- a/debian/config-udeb-linux +++ b/debian/config-udeb-linux | |||
| @@ -368,7 +368,6 @@ CONFIG_FEATURE_COMMAND_TAB_COMPLETION=y | |||
| 368 | # CONFIG_FEATURE_COMMAND_USERNAME_COMPLETION is not set | 368 | # CONFIG_FEATURE_COMMAND_USERNAME_COMPLETION is not set |
| 369 | CONFIG_FEATURE_COMMAND_HISTORY=15 | 369 | CONFIG_FEATURE_COMMAND_HISTORY=15 |
| 370 | CONFIG_FEATURE_SH_STANDALONE_SHELL=y | 370 | CONFIG_FEATURE_SH_STANDALONE_SHELL=y |
| 371 | # CONFIG_FEATURE_SH_APPLETS_ALWAYS_WIN is not set | ||
| 372 | CONFIG_FEATURE_SH_FANCY_PROMPT=y | 371 | CONFIG_FEATURE_SH_FANCY_PROMPT=y |
| 373 | # CONFIG_FEATURE_SH_EXTRA_QUIET is not set | 372 | # CONFIG_FEATURE_SH_EXTRA_QUIET is not set |
| 374 | 373 | ||