Giacomo Vercesi 6509cad084 test_docs: remove useless global ...

The `verbose` was is not modified in the `log` function, so the use of
`global` is useless.

2025-04-24 13:22:14 +02:00

..

_commands

test_docs: remove useless global

2025-04-24 13:22:14 +02:00

__init__.py

python: create python wheels

2023-12-12 14:52:22 +01:00

commands_registry.py

commands_registry.py: allow subcommands in subdirs

2024-10-01 13:38:14 +02:00

revng.py

Implement mass testing

2024-10-01 13:38:21 +02:00

support.py

revng.internal.cli: unify temporary_file

2024-10-31 08:58:59 +01:00