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/platform-roots-fixes
revng-revng/python/scripts
T
History
Giacomo Vercesi 62c1b44a54 revng: allow execution while in a venv 
If a venv is running, the `revng` script should re-exec to allow the
correct modules to be loaded and allow running the `main` function of
the respective modules.
2026-01-29 14:54:24 +01:00
..
revng
revng: allow execution while in a venv
2026-01-29 14:54:24 +01:00