[slime-devel] [Patch]: slime-kill-all-buffers: kill XREF buffers

[Helmut Eller]

* Stas Boukarev [2009-03-04 01:03+0100] writes:

> 2009-03-03  Stas Boukarev  <stassats at gmail.com>
>
> 	* slime.el (slime-kill-all-buffers): Kill XREF
> 	buffers too.

Should be fixed in HEAD.

Helmut.