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!  :-)

-tih
-- 
Tom Ivar Helbekkmo
tih@Hamartun.Priv.NO