#!/bin/sh
r=$(dirname "$0")
exec "$r/../Resources/bin/ragui"
