Rodrigo M.

Results 2 comments of Rodrigo M.

> As a workaround, I've included an `autocmd` to start COQ as soon as Vim does, for the time being until this gets patched. > > ```viml > augroup COQ...

I Don't know if this can be related, but my custom snippets aren't working properly. After completion it puts me at the end of the snippet instead of putting my...