Commit Graph

202 Commits (2564afb48d182fe03b3ca0371993a088cc66508a)

Author SHA1 Message Date
romkatv 7fe72dfce0 polish lean.zsh a bit 6 years ago
romkatv b51e263637 draft of lean config 6 years ago