#! /bin/csh -f
#
#
# step 1: setup vcsi environment
#
# If you are using VCS rather than VCSI, then change the respective
# VCSI setting for VCS.
#
# For fitting your working environment, please
#! /bin/csh -f
#
#
# step 1: setup vcsi environment
#
# If you are using VCS rather than VCSI, then change the respective
# VCSI setting for VCS.
#
# For fitting your working environment, please
#! /bin/csh -f
#
#
# step 1: setup vcsi environment
#
# If you are using VCS rather than VCSI, then change the respective
# VCSI setting for VCS.
#
# For fitting your working environment, please
#! /bin/csh -f
#
#
# step 1: setup vcsi environment
#
# If you are using VCS rather than VCSI, then change the respective
# VCSI setting for VCS.
#
# For fitting your working environment, please
