idris2-vim icon indicating copy to clipboard operation
idris2-vim copied to clipboard
verified publisher icon edwinb

Explain that `<LocalLeader>` is `\` by default

Open joliss opened this issue 4 years ago • 0 comments

joliss avatar May 21 '21 00:05 joliss