Commit Graph

4 Commits (00a070d5db4cb9f7add6a8c8ae62d6223d8a0109)

Author SHA1 Message Date
romkatv 0eff9fe1b9 less verbose command_execution_time 6 years ago
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