Subject: Re: option, options, and config...
To: None <email@example.com>
From: Gordon W. Ross <firstname.lastname@example.org>
Date: 08/19/1996 13:05:46
> Date: Fri, 16 Aug 1996 16:14:00 -0500 (CDT)
> From: Peter Seebach <email@example.com>
> Look, this is probably stupid, but would it hurt anything badly to
> have config also accept "option" as synonymous with "options"?
> This would allow us tab freaks to add and remove #'s without having
> options suddenly need to be reindented. :)
Just add one space after the 's' in options.