Commit Graph

55 Commits (478ad28810f09cffaf8c26a317f070d1a7e1306d)

Author SHA1 Message Date
romkatv 30c160926d add node.js prompt segments 2019-07-17 00:36:39 +02:00
romkatv 0eff9fe1b9 less verbose command_execution_time 2019-07-16 00:47:56 +02:00
Roman Perepelitsa 7acc5a236d
comments 2019-07-14 14:50:05 +02:00
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