#! /bin/bash
BASEDIR="$(dirname "$0")"
PLANNER="$BASEDIR/downward-release"

$BASEDIR/downward-release "$@"

EXITCODE=$?
exit $EXITCODE
