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
3b0d708a2fc09c7ef122946b75182d3223a52d7d
revng-revng/python/scripts
T
History
Giacomo Vercesi 12186ff3a2 scripts/revng: re-implement path fix 
Re-add the code that allows the `revng` script to be also invoked from
the build directory.
2023-05-11 14:24:00 +02:00
..
revng
scripts/revng: re-implement path fix
2023-05-11 14:24:00 +02:00