31 Jan
2007
31 Jan
'07
9:52 a.m.
On Tue, 30 Jan 2007 22:41:48 -0800, "Bill Clementson" billclem@gmail.com 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...
Cheers, Edi.