mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
dce5c1a02c
Unify additional values that used to be hardcoded in the old backend under the same naming configuration root.