Add g:idris_vim_enable_keymappings_by_default#83
Open
aiya000 wants to merge 2 commits intoidris-hackers:masterfrom
Open
Add g:idris_vim_enable_keymappings_by_default#83aiya000 wants to merge 2 commits intoidris-hackers:masterfrom
aiya000 wants to merge 2 commits intoidris-hackers:masterfrom