ylib/nerdcommenter
1
0
Fork 0
mirror of https://github.com/preservim/nerdcommenter.git synced 2025-01-23 17:23:59 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
bfd80feb6f
nerdcommenter/plugin
History
Szymon Śliwa bfd80feb6f
added Coq support 
Closes #156

[caleb@alerque.com: Drop redundant alternate comment delimiters]
Signed-off-by: Caleb Maclennan <caleb@alerque.com>
2016-05-24 07:21:46 +03:00
..
NERD_commenter.vim added Coq support 2016-05-24 07:21:46 +03:00