From e44ca89e60feb0d1e09b7ff4890a378bb5d88312 Mon Sep 17 00:00:00 2001
From: Sergii Tykhomyrov <sergii@tykhomyrov.net>
Date: Wed, 4 Nov 2026 20:55:52 +0100
Subject: editorconfig: indent 2 spaces in Lean files

---
 editorconfig/dot-editorconfig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/editorconfig/dot-editorconfig b/editorconfig/dot-editorconfig
index 233b465..6a3fca1 100644
--- a/editorconfig/dot-editorconfig
+++ b/editorconfig/dot-editorconfig
@@ -20,6 +20,9 @@ indent_style = tab
 [{*.rb,*.rake,Rakefile,Gemfile,*.gemspec,config.ru}]
 indent_size = 2
 
+[*.lean]
+indent_size = 2
+
 [*.{html,css}]
 indent_size = 2
 
-- 
cgit v1.2.3