Changeset 8176e55e17d6…
Parent db14c7589991…
by Benjamin Pollack
Changes to one file · Browse files at 8176e55e17d6 Showing diff from parent db14c7589991 Diff from another changeset...
@@ -76,3 +76,7 @@ set laststatus=2
let g:airline_powerline_fonts = 1
let g:pymode_lint_ignore = "E501"
+
+let g:opamshare=substitute(system('opam config var share'), '\n$', '', '''')
+execute "set rtp+=".g:opamshare."/merlin/vim"
+execute "set rtp+=".g:opamshare."/merlin/vimbufsync"
|
Loading...