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

..

assets

Import docs

2024-02-09 10:04:24 +01:00

javascripts

Minor changes

2024-05-29 12:06:03 +02:00

references

Rename UnusedStackArgumentBytes

2025-02-12 16:43:19 +02:00

stylesheets

Reroganize and expand documentation

2024-12-11 16:15:37 +01:00

user-manual

Adapt the build to the new schema version field

2025-04-28 13:03:53 +02:00

index.md

mkdocs: make links relative

2024-02-26 16:08:54 +01:00

what-is-revng.md

Update the docs

2024-06-27 11:05:52 +02:00