Jordan K. Hubbard b851eb1523 Eliminate USERCONFIG. This option is now standard.		1994-11-03 15:51:38 +00:00
..
GENERIC	Eliminate USERCONFIG. This option is now standard.	1994-11-03 15:51:38 +00:00