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/model-upgrade
revng-revng/share
T
History
Khaled Ismaeel 08753df5b5 Adapt the build to the new schema version field 
This is a followup to the commit where we introduced the `version`
field in the schema YAML.
2025-04-28 13:03:53 +02:00
..
doc/revng
Adapt the build to the new schema version field
2025-04-28 13:03:53 +02:00
revng
Remove the now-redundant HEADERS list
2025-04-28 13:01:46 +02:00