1#! /bin/csh -f
2
3echo "WARNING: You have just updated psl-names"
4echo "MAKE SURE YOU LOG IN AND RUN newroot.csh"
5
6