Closed eviefp closed 4 years ago
Adds a new setting (g:purescript_disable_indent) to disable the indentation altogether.
g:purescript_disable_indent
Fixes #66
Checklist:
generate-doc.sh
Adds a new setting (
g:purescript_disable_indent
) to disable the indentation altogether.Fixes #66
Checklist:
generate-doc.sh
to re-generate the documentation