#!/bin/csh
# if you think this hack is annoying, you should try running the ports system
# without it!

exit

