#!/bin/sh
# User-facing name. The binary is still ravend.
DIR=$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)
exec "$DIR/ravend" "$@"
