diff options
author | Karel Kočí <karel.koci@nic.cz> | 2017-01-09 08:10:11 +0100 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2017-01-09 08:10:11 +0100 |
commit | 95865067af8988cb81bf89352fae3961d12a4a9e (patch) | |
tree | 18fedf1e146236515f664bf9339641415cb8ff18 /vim/bundle/syntastic/syntax_checkers/coq | |
parent | 64e557a8b97c4975c25cf5bd12fa3bb51fb38756 (diff) | |
download | myconfigs-95865067af8988cb81bf89352fae3961d12a4a9e.tar.gz myconfigs-95865067af8988cb81bf89352fae3961d12a4a9e.tar.bz2 myconfigs-95865067af8988cb81bf89352fae3961d12a4a9e.zip |
Update vim plugins
Diffstat (limited to 'vim/bundle/syntastic/syntax_checkers/coq')
m--------- | vim/bundle/syntastic | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/vim/bundle/syntastic b/vim/bundle/syntastic -Subproject 734fde7f0b84ff3f670ab5772ed1b8b0c8c1677 +Subproject 40ac6c462e2f76cb76d8a0f295abc358abc198b |