4 commits

Author	SHA1	Message	Date
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