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