Some changes to support separated snippets for singular filetypes.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Used by coq.nvim
coq.nvim