| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | editorconfig: indent 2 spaces in Lean files | Sergii Tykhomyrov | 2 days | 1 | -0/+3 |
| | | |||||
| * | Restructure: new nvim/tmux/editorconfig, remove stale packages | Sergii Tykhomyrov | 2026-08-03 | 1 | -0/+26 |
| Replace the old nvim package with the new minimal config. Add tmux and editorconfig packages in dot- convention. Remove i3, kitty, alacritty, and xbindkeys packages. Use /bin/sh in the Makefile; zsh is not on every machine. Add .stowrc so plain stow works without the Makefile. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KYrzpJevCUUqP6pFyJHmB4 | |||||
