Subject: Re: option, options, and config...
To: Peter Seebach <email@example.com>
From: Chris G Demetriou <Chris_G_Demetriou@ux2.sp.cs.cmu.edu>
Date: 08/16/1996 19:59:27
> 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. :)
This tab freak typically declares options as:
so that he can do just that. Why add more cruft to the config grammar
when the solution is so easy (for the few people who care)?