
31 Jan
2007
31 Jan
'07
8: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.