#! /bin/sh
# Error handling greatly improved by Peter Moulder
# <pmoulder@mail.csse.monash.edu.au> 2003-03-02, in an attempt to
# avoid trashing his system again..

echo "(This script does nothing.)"
