diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2019-07-01 16:25:37 +0200 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2019-07-01 16:25:37 +0200 |
| commit | 140430ffb73d5e0851ba2df2abd29106b1677687 (patch) | |
| tree | 686fc28a75cbcdddbfad4a2e93f0433614d182bc /indent/dune.vim | |
| parent | d52700284984ada048ce325404dfa25237271ba1 (diff) | |
| download | vim-polyglot-140430ffb73d5e0851ba2df2abd29106b1677687.tar.gz vim-polyglot-140430ffb73d5e0851ba2df2abd29106b1677687.zip | |
Update
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 |