--
You received this message because you are subscribed to the Google Groups "ENSIME" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ensime+un...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Fantastic!
I use recordMyDesktop on Linux for these things but we can work with this.
--
You received this message because you are subscribed to a topic in the Google Groups "ENSIME" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/ensime/HfPNLm5ZPVA/unsubscribe.
To unsubscribe from this group and all its topics, send an email to ensime+un...@googlegroups.com.