log

age author description
Fri, 07 Jul 2017 12:45:28 +0200 Goffi jp (base): typo
Thu, 06 Jul 2017 20:35:21 +0200 Goffi jp (shell): added "whoami" command to print currently used profile
Thu, 06 Jul 2017 20:31:31 +0200 Goffi jp (shell): don't print header if a command is specified in help