aboutsummaryrefslogtreecommitdiff
path: root/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim
Commit message (Expand)AuthorAge
* Add current configurations from old repositoryKarel Kočí2016-06-30