# Default settings for inox. This file is sourced by /bin/bash from
# the inox launcher.

# Options to pass to inox.
#INOX_FLAGS=""