[slime-devel] ,disconnect

Bill Atkins atkinw at rpi.edu
Thu Jul 13 18:18:56 UTC 2006


Can someone add a disconnect comma-command that would be equivalent to
slime-disconnect?

-- 
Bill Atkins



More information about the slime-devel mailing list