Commit graph

5 commits

Author SHA1 Message Date
Jidbo
fe45ff8e5f add vimtex plugin 2018-11-05 15:32:51 +01:00
Jidbo
f359c82a7a add promela syntax highlighting 2018-11-03 21:11:06 +01:00
Jidbo
4e90ddc0d8 move some keymappings to use leader, switch leader to space 2018-10-30 14:30:53 +01:00
Jidbo
1e0c79df40 remove easyescape, move python settings to fttype file 2018-10-30 13:54:13 +01:00
Jidbo
c4bcaa49cf initial commit 2018-08-18 13:15:18 +02:00