garbled 83f61a5891 Change all ocurrences of "crunchgen" to ${CRUNCHGEN}		2000-11-01 07:57:55 +00:00
..
inst
inst-common	Change all ocurrences of "crunchgen" to ${CRUNCHGEN}	2000-11-01 07:57:55 +00:00
upgr
list2sh.awk
Makefile
Makefile.inc
runlist.sh