Josef Karthauser cc80a61ac0 Wrap the build options up into the crunch.conf file now that crunchgen ... knows what to do with them.		2000-11-15 14:47:37 +00:00
..
crunch.conf	Wrap the build options up into the crunch.conf file now that crunchgen	2000-11-15 14:47:37 +00:00