On Fri, 2004-10-01 at 00:03, CY wrote:
> Will this downcasing be just the files in src, or all the package
> files as well? Also, will maxima files be downcased now as well?
I'm focusing on the files in src. We will do the package files also, but
I think the repository as soon as src is done.
> Personally I'd like to get the downcasing over with, but that's just
> me.
It isn't just you.
--Jim