@ -96,6 +96,8 @@ Plug 'ahf/twelf-syntax'
Plug 'c-cube/vim-tptp'
Plug 'sirtaj/vim-openscad'
Plug 'SirVer/ultisnips'
Plug 'honza/vim-snippets'