6 Commits (ef041b4364a481f7e65237f93d71bdb1b647e000)

Author	SHA1	Message	Date
romkatv	ef041b4364	make right prompt multiline; add public_ip	5 years ago
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