Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | less verbose command_execution_time | romkatv | 2019-07-16 | 1 | -2/+4 |
* | comments | Roman Perepelitsa | 2019-07-14 | 1 | -3/+4 |
* | polish lean.zsh a bit | romkatv | 2019-07-13 | 1 | -48/+74 |
* | draft of lean config | romkatv | 2019-07-12 | 1 | -0/+202 |