vim/syntastic
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,131 Commits 1 Branch 30 Tags 10 MiB
dc01f5d69d
Commit Graph

1 Commits

Author SHA1 Message Date
Matvey Aksenov
a3e5fb201d Added syntax checker for coq. 2013-04-02 22:36:00 +04:00