#!/bin/bash
# Wrapper script for Robbo Scratch
exec /opt/robboScratch/robboscratch3 "$@"

