#!/bin/sh
# sources a standard xtrekrc if the user has not got there own.
# written by "wibble" jwh@cs.bham.ac.uk

if [ -f $HOME/.xtrekrc ]; then
        /usr3/students/se0/jwh/bin/hadley $*
else
        # pick up system default
        /usr3/students/se0/jwh/bin/hadley -r /usr3/students/se0/jwh/etc/xtrekrc.standard $*
fi
