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
feature/pipe-commits
revng-revng/python/revng/internal
T
History
Giacomo Vercesi ba0f374eae revng cli: add --wrapper option 
Add the `--wrapper` option which allows the user to pass an arbitrary
wrapper to the invocation of executables.
2024-09-10 10:14:12 +02:00
..
api
InitRevng: fix command line parsing
2024-01-26 17:46:21 +01:00
cli
revng cli: add --wrapper option
2024-09-10 10:14:12 +02:00
daemon
revng daemon: print debug log to stderr
2024-01-26 19:13:58 +01:00
support
python: create python wheels
2023-12-12 14:52:22 +01:00
__init__.py
python: create python wheels
2023-12-12 14:52:22 +01:00
py.typed
python: create python wheels
2023-12-12 14:52:22 +01:00