#!/bin/sh

cd $(dirname $0)
./sancho-bin "$@"

