Zbigniew Jędrzejewski-Szmek 52117f5af8 analyze: add --quiet option ...

This is useful for shell completion, but also for users who don't care
about the extra output.

2021-11-16 13:00:31 +01:00

..

bash

analyze: add --quiet option

2021-11-16 13:00:31 +01:00

zsh

analyze: add --quiet option

2021-11-16 13:00:31 +01:00