# Default settings for opera. This file is sourced by /usr/bin/opera.

# Options to pass to opera.
OPERA_FLAGS=""
