Giacomo Vercesi 07c2457a16 revng.cli: various improvements ...

This commit introduces some miscellaneous fixes to revng.cli:

* Remove useless subclasses in pipeline_tools.py;
* Improve type annotations in _commands/ptml and fix a help string;
* Add some extra type annotations for `Command`;
* Remove useless namespaces in `commands_registry` and add help text
  for the ones in use;

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

..

__init__.py

revng.cli: explicitly initialize Commands

2022-08-10 09:49:24 +02:00

cat.py

revng.cli: various improvements

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

common.py

revng.cli: various improvements

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

strip.py

revng.cli: various improvements

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