Commit 4cdbe191 authored by Valentin Reis's avatar Valentin Reis

Merge branch 'pretty-printing-cmd-listen' into 'master'

[feature] Adds a --filter option to `cmd` for pretty-printing.

See merge request !44
parents cf83c4a9 e4ed3804
Pipeline #4888 failed with stages
in 4 minutes and 28 seconds