/Makefile/1.1.1.1/Mon Aug 29 15:30:15 1994//
/Makefile.inc/1.1.1.1/Mon Aug 29 15:30:14 1994//
/list2sh.awk/1.2/Tue Oct 18 22:17:26 1994//
/runlist.sh/1.1.1.1/Mon Aug 29 15:30:14 1994//
