Files
revng-revng/python
Tommaso Fontana 036411b441 Pypeline: add pipebox initialize and -- args
The pipebox now has to have an initialize function that is called with
all arguments passed to the CLI after --.
2025-11-11 17:15:28 +01:00
..
2023-12-12 14:52:22 +01:00
2025-11-11 17:15:28 +01:00
2023-12-12 14:52:22 +01:00