/Makefile/1.1/Thu Oct  6 20:25:29 1994//
/Makefile.inc/1.1/Thu Oct  6 20:25:30 1994//
/list2sh.awk/1.1/Thu Oct  6 20:25:31 1994//
/runlist.sh/1.1/Thu Oct  6 20:25:32 1994//
