admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
revng-revng/lib/PipeboxCommon/Python
T
History
Giacomo Vercesi 1c07656448 pipebox.py: add initialize function 
Add the `initialize` function to `pipebox.py`. This allows passing
command-line arguments to the pipebox.
2025-11-17 10:04:13 +01:00
..
_pipebox.cpp
pipebox.py: add initialize function
2025-11-17 10:04:13 +01:00