#! /bin/bash

HERE="$(dirname "$(readlink -f "${0}")")"
"${HERE}"/run-easycrypt "$@"
