31 Jan
2007
31 Jan
'07
11 a.m.
Edi Weitz wrote:
What, the slime startup animation has been removed?
And not for the first time:
http://common-lisp.net/pipermail/slime-devel/2005-February/003093.html
Looks like Helmut tries this every two years or so... :)
FWIW, I'd like to keep it, but that's just me...
Actually, it's not just you. See the thread from 2005 ;-)
Arthur