What key is the <Leader> mapped to?
johnrlive opened this issue · 2 comments
johnrlive commented
the default key '/' didn't work.
adamlogic commented
We use the default, which is \ (not /)
Sent from my iPhone
On Sep 24, 2012, at 5:05 PM, John R Live notifications@github.com wrote:
the default key '/' didn't work.
—
Reply to this email directly or view it on GitHub.
johnrlive commented
It worked! Thank you Adam it was driving me nuts, that's what I get for running on 3 hours of sleep.