305 Commits (e3c8529052bb8c73fdde48a28ed9f6a8b4a4408b)

Author	SHA1	Message	Date
romkatv	30c160926d	add node.js prompt segments	5 years ago
romkatv	0eff9fe1b9	less verbose command_execution_time	5 years ago
Roman Perepelitsa	7acc5a236d	comments	5 years ago
romkatv	7fe72dfce0	polish lean.zsh a bit	5 years ago
romkatv	b51e263637	draft of lean config	5 years ago