zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Move vim support to separate repository #144

Closed jam1garner closed 3 years ago

jam1garner commented 3 years ago

I suggest this because it would then likely be better for supporting most vim plugin managers as then you'd only need to do, using plug as an example, the following:

call plug#begin('~/.vim/plugged')

Plug 'zetzit/zz.vim'

call plug#end()

(It's also a bit easier for anyone who wants to manually install it too)

jwerle commented 3 years ago

I am not opposed to this. What are your thoughts @aep ?

aep commented 3 years ago

yes this makes sense