# This file is auto-generated by 'make config'.
# Options for bash-config-1.0.8_1
_OPTIONS_READ=bash-config-1.0.8_1
_FILE_COMPLETE_OPTIONS_LIST=COMPLETION
OPTIONS_FILE_SET+=COMPLETION