mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
a2d263dfc9
Add an argument which specifies where the changed model should be written to. This replaces the hardcoded behavior of writing the new model to stdout.