diff options
| author | Sergii Tykhomyrov <sergii@tykhomyrov.net> | 2026-11-04 20:55:52 +0100 |
|---|---|---|
| committer | Sergii Tykhomyrov <sergii@tykhomyrov.net> | 2026-11-04 20:55:52 +0100 |
| commit | e44ca89e60feb0d1e09b7ff4890a378bb5d88312 (patch) | |
| tree | fc166609640b2d7697a3f796de8b9d87414226e9 /editorconfig/dot-editorconfig | |
| parent | b9f92100636377a88a609d0db24b1924dfcf136d (diff) | |
| download | dotfiles-e44ca89e60feb0d1e09b7ff4890a378bb5d88312.tar.gz dotfiles-e44ca89e60feb0d1e09b7ff4890a378bb5d88312.zip | |
editorconfig: indent 2 spaces in Lean files
Diffstat (limited to 'editorconfig/dot-editorconfig')
| -rw-r--r-- | editorconfig/dot-editorconfig | 3 |
1 files changed, 3 insertions, 0 deletions
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 |