Re: [Maxima-discuss] proposal to remove files in doc/misc

[Kris K. <kat...@gm...>]

On Sun, Jun 25, 2017 at 12:49:30AM +0000, Robert Dodier wrote:
> In the interest of reducing clutter, I'd like to remove all these files.
> I wonder if anyone is opposed to that.

I'm in favor of reducing whatever clutter we can, and I have no
objections to removing these files.

Cheers,
Kris Katterjohn