mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
f7ec377aa4
Without the --tmpdir argument the current directory is used to generate the temporary file