*** agent/edusers.SH.orig Thu Aug 10 15:34:55 1995 --- agent/edusers.SH Thu Jul 25 19:55:26 1996 *************** *** 17,22 **** echo "Extracting agent/edusers (with variable substitutions)" $spitshell >edusers <edusers <