Commit Graph

102 Commits (4405297b13e15b0775181e37492403cfa64d281f)

Author SHA1 Message Date
romkatv 7fe72dfce0 polish lean.zsh a bit 2019-07-13 00:02:24 +02:00
romkatv b51e263637 draft of lean config 2019-07-12 15:47:13 +02:00