diff options
| author | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-20 18:56:53 +0000 |
|---|---|---|
| committer | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-20 18:56:53 +0000 |
| commit | 67718bb448fecc4f86420ce633964bd267f2c2b9 (patch) | |
| tree | db3fef0e63761064b5b9d3b337906cacc90ad91d | |
| parent | 1ee0de69fff2a03e046eefeece1dfbce66f524f2 (diff) | |
| download | nixtaml-67718bb448fecc4f86420ce633964bd267f2c2b9.tar nixtaml-67718bb448fecc4f86420ce633964bd267f2c2b9.tar.gz nixtaml-67718bb448fecc4f86420ce633964bd267f2c2b9.tar.bz2 nixtaml-67718bb448fecc4f86420ce633964bd267f2c2b9.tar.lz nixtaml-67718bb448fecc4f86420ce633964bd267f2c2b9.tar.xz nixtaml-67718bb448fecc4f86420ce633964bd267f2c2b9.tar.zst nixtaml-67718bb448fecc4f86420ce633964bd267f2c2b9.zip | |
Dune-related EditorConfig stuff
| -rw-r--r-- | .editorconfig | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/.editorconfig b/.editorconfig index 83152ee..d7cd0de 100644 --- a/.editorconfig +++ b/.editorconfig @@ -20,6 +20,19 @@ indent_size = unset indent_style = space indent_size = 3 -[dune,dune-project,dune-workspace] +[dune] indent_style = space indent_size = 1 + +[dune-project] +indent_style = space +indent_size = 1 + +[dune-workspace] +indent_style = space +indent_size = 1 + +# Dune is generating Opam files so I have no control. Should I skip Dune here? +[*.opam] +indent_style = unset +indent_size = unset |