search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Add configuration to allow [Tab] keystroke to insert tab character. #64

Closed stephen-smith closed 7 years ago

melted commented 7 years ago

Thanks!