# This file is auto-generated by 'make config'.
# No user-servicable parts inside!
# Options for bash-config-1.0.1
_OPTIONS_READ=bash-config-1.0.1
WITH_COMPLETION=true