From 67370de49dad3ab220adea26f67493beb20a2178 Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Wed, 10 Dec 2025 19:22:23 +0000
Subject: editorconfig: dune project files

---
 .editorconfig | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.editorconfig')

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
-- 
cgit v1.2.3