From 6451c2161a7f038c16e39b4f0d108b90eb107ef8 Mon Sep 17 00:00:00 2001 From: Jidbo Date: Wed, 3 Apr 2019 12:50:18 +0200 Subject: [PATCH] remove promela syntax --- .vimrc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.vimrc b/.vimrc index b6d1e49..bb50f43 100644 --- a/.vimrc +++ b/.vimrc @@ -57,9 +57,6 @@ Plugin 'sheerun/vim-polyglot' " latex Plugin 'lervag/vimtex' -" promela syntax highlighting -Plugin 'vim-scripts/promela.vim' - " All of your Plugins must be added before the following line call vundle#end() " required filetype plugin indent on " required @@ -254,3 +251,4 @@ nmap r :ALEFindReferences nmap b :ALEFix nnoremap l :lnext nnoremap p :lprevious +