"Maxima ports" page on Sourceforge



On 05/12/2013 09:48 PM, Raymond Toy wrote:
> Instead of being deleted, can it be moved somewhere less prominent.
> I find history is always nice to have to go back and see how things
> came to be.  We don't have to keep it up-to-date though.  Just mark it
> as historical info that isn't updated.
Ok, that's a good idea.
Jaime