814382
# change default from rsh to ssh for cvs command
814382
if ( "$?CVS_RSH" == 0 ) setenv CVS_RSH ssh