diff options
| -rw-r--r-- | .editorconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index 2dc0099..83152ee 100644 --- a/.editorconfig +++ b/.editorconfig @@ -19,3 +19,7 @@ indent_size = unset [*.nix] indent_style = space indent_size = 3 + +[dune,dune-project,dune-workspace] +indent_style = space +indent_size = 1 |
