Giacomo Vercesi 67e970e1e8 Fix revng cli invocation with namespaces ...

When revng cli was invoked with a bare namespace, e.g. `revng ptml`
it would produce an ugly exception.
Fix this behavior by instead rerunning the command with `--help`
appended.

2022-09-02 03:49:56 +02:00

..

_commands

revng.cli: various improvements

2022-09-01 17:45:44 +02:00

merge_dynamic

revng-check-conventions: introduce isort

2022-04-20 09:57:08 +02:00

model_dump

revng-model-dump: emit YAML

2022-08-08 13:55:25 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

commands_registry.py

Fix revng cli invocation with namespaces

2022-09-02 03:49:56 +02:00

revng.py

Fix revng cli invocation with namespaces

2022-09-02 03:49:56 +02:00

support.py

revng.cli: various improvements

2022-09-01 17:45:44 +02:00