garbled 85b2082906 Actually define $BIGLIST, and fix the logic a bit.		2001-04-23 09:07:49 +00:00
..
Makefile	…
form	…
script	…
script1	Actually define $BIGLIST, and fix the logic a bit.	2001-04-23 09:07:49 +00:00