[slime-devel] Slime customization groups

Helmut Eller e9626484 at stud3.tuwien.ac.at
Mon Feb 2 07:38:43 UTC 2004


Jouni K Seppanen <jks at iki.fi> writes:

> It seems to me that either the group on all these options should be
> changed to slime-debugger, or the group slime-debugger should be
> renamed to sldb.

Yes, indeed.  I changed the group options to 'slime-debugger'.  Thanks
the report.

Helmut.




More information about the slime-devel mailing list