aboutsummaryrefslogtreecommitdiff
path: root/editorconfig
Commit message (Expand)AuthorAgeFilesLines
* editorconfig: indent 2 spaces in Lean filesSergii Tykhomyrov2 days1-0/+3
* Restructure: new nvim/tmux/editorconfig, remove stale packagesSergii Tykhomyrov2026-08-031-0/+0
* Add editorconfig, tmux, and NeoVim configsSergii Tykhomyrov2026-08-031-0/+26