ensime-shutdown does nothing for me...
14 views
Skip to first unread message
Andrew Gaydenko
Jun 18, 2015, 4:30:47 PM6/18/15
to ens...@googlegroups.com
And for you?
Sam Halliday
Jun 18, 2015, 5:03:14 PM6/18/15
to ens...@googlegroups.com
just kill the buffer. We're removing ensime-shutdown (if we haven't already).
On Thursday, 18 June 2015 21:30:47 UTC+1, Andrew Gaydenko wrote:
On Thursday, 18 June 2015 21:30:47 UTC+1, Andrew Gaydenko wrote:
And for you?
Andrew Gaydenko
Jun 18, 2015, 5:08:43 PM6/18/15
to ens...@googlegroups.com
Yes, it does work, thanks.
Reply all
Reply to author
Forward
0 new messages