Subject: Re: option, options, and config...
To: Peter Seebach <email@example.com>
From: Tom I Helbekkmo <tih@Hamartun.Priv.NO>
Date: 08/18/1996 12:58:19
On Fri, 16 Aug 1996, Peter Seebach wrote:
> 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. :)
Enthusiastically seconded! :-)
Tom Ivar Helbekkmo