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 /git | |
| parent | b9f92100636377a88a609d0db24b1924dfcf136d (diff) | |
| download | dotfiles-e44ca89e60feb0d1e09b7ff4890a378bb5d88312.tar.gz dotfiles-e44ca89e60feb0d1e09b7ff4890a378bb5d88312.zip | |
editorconfig: indent 2 spaces in Lean files
Diffstat (limited to 'git')
0 files changed, 0 insertions, 0 deletions