Giacomo Vercesi 9d5b6d1f34 revng cli: migrate legacy scripts to _commands ...

Move the remaining commands in the `scripts` to be used by the `revng`
command line driver.

2023-05-11 10:02:46 +02:00

..

revng

revng cli: drop old code

2023-05-11 10:02:46 +02:00