# Options to pass to the miredo-server process
MIREDO_SERVER_OPTS=""