From f359c82a7a7f8cab1dc80fdd11e1013a5afc6a5d Mon Sep 17 00:00:00 2001
From: Jidbo <gitlab@jidbo.de>
Date: Sat, 3 Nov 2018 21:11:06 +0100
Subject: [PATCH] add promela syntax highlighting

---
 .vimrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.vimrc b/.vimrc
index 71e4e53..f53643e 100644
--- a/.vimrc
+++ b/.vimrc
@@ -42,6 +42,9 @@ Plugin 'tpope/vim-fugitive'
 Plugin 'vim-airline/vim-airline'
 Plugin 'vim-airline/vim-airline-themes'
 
+" 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