Date: Mon, 29 Jul 1996 08:55:10 -0400
Message-Id: <199607291255.IAA17337@delorie.com>
From: DJ Delorie <dj>
To: randolp1 AT ix DOT netcom DOT com
CC: djgpp AT delorie DOT com
In-reply-to: <31FA6490.71CE@ix.netcom.com> (message from iNFiK on Sat, 27 Jul
	1996 11:48:48 -0700)
Subject: Re: What is SED


> > SED should be spelled "sed" all lower case, as everything is in UNIX
> > (where case is sensitive, and it really is "sed" not "SED").
> 
> yeah but remember, djgpp is DOS.

Also remember that large parts of djgpp are case-sensitive anyway, like gcc.

Besides, if the people who wrote sed want it lower case, you should
respect that and write it lower case all the time.  For example, I
want people to write DJGPP or djgpp but never Djgpp.