romkatv 0eff9fe1b9 less verbose command_execution_time		2019-07-16 00:47:56 +02:00
..
lean.zsh	less verbose command_execution_time	2019-07-16 00:47:56 +02:00