5 Commits (30c160926da5e906d2768092888676e24adbf16f)

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