#
# Automatically generated file; DO NOT EDIT.
# Main menu
#
# CONFIG_DEP is not set
CONFIG_NUM=20
