gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

add idris mode for vim

Browse Source
This commit is contained in:
Gabriel Ebner 2014-07-18 08:41:58 +02:00
parent 08a5a8f37c
commit cd6f5af3ea
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vimrc
View File

@ -53,6 +53,8 @@ NeoBundle 'othree/html5.vim'
NeoBundle 'dogrover/vim-pentadactyl' NeoBundle 'dogrover/vim-pentadactyl'
NeoBundle 'idris-hackers/idris-vim'
" vim-sleuth? " vim-sleuth?
call neobundle#end() call neobundle#end()