Pietro Fezzardi 6a3ab92a9d Mark to-be-dropped pipeline names as legacy ...

Several components in both pipeline YAMLs are slated for removal.
Prepend a legacy prefix to their names, and to the matching c++ code, so
they are clearly distinguished from the new Clift-based pipeline until
they are dropped.

2026-06-15 17:28:22 +02:00

..

assets

Import docs

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

developer-manual

developer-manual/qemu-helpers.md: update

2026-06-15 17:28:22 +02:00

javascripts

Minor changes

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

references

Mark to-be-dropped pipeline names as legacy

2026-06-15 17:28:22 +02:00

stylesheets

Reroganize and expand documentation

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

user-manual

test-docs: use new pipeline

2026-06-15 17:28:22 +02:00

index.md

docs: tested docs for QEMU helper functions

2026-05-29 17:12:35 +02:00

what-is-revng.md

Update the docs

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