diff options
Diffstat (limited to 'indent/dune.vim')
-rw-r--r-- | indent/dune.vim | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/indent/dune.vim b/indent/dune.vim new file mode 100644 index 00000000..3f8e7e87 --- /dev/null +++ b/indent/dune.vim @@ -0,0 +1,14 @@ +if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'ocaml') != -1 + finish +endif + +" Vim indent file +" Language: dune + +if exists("b:did_indent") + finish +endif +let b:did_indent = 1 + +" dune format-dune-file uses 1 space to indent +set softtabstop=1 shiftwidth=1 expandtab |