Closed gwerbin closed 2 years ago
This sets the comment prefix correctly, and adds the same 'wildignore' option.
Without this change, Vim defaults to C-style comments (// and /* */).
//
/* */
Sorry about the duplicate PR (https://github.com/ShinKage/idris2-nvim/pull/14), I didn't realize Github would close the PR when I changed the branch name.
This sets the comment prefix correctly, and adds the same 'wildignore' option.
Without this change, Vim defaults to C-style comments (
//and/* */).Sorry about the duplicate PR (https://github.com/ShinKage/idris2-nvim/pull/14), I didn't realize Github would close the PR when I changed the branch name.