aboutsummaryrefslogtreecommitdiff
path: root/config/lean.zsh
Commit message (Collapse)AuthorAgeFilesLines
* add node.js prompt segmentsromkatv2019-07-171-0/+20
|
* less verbose command_execution_timeromkatv2019-07-161-2/+4
|
* commentsRoman Perepelitsa2019-07-141-3/+4
|
* polish lean.zsh a bitromkatv2019-07-131-48/+74
|
* draft of lean configromkatv2019-07-121-0/+202