#
# /etc/csh.logout
#

# End of file