Commit Graph

253 Commits (5d0ae3adbaf0ea5c5e8887b5c0d2ab561c526bd4)

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