Skip to content

Editorial change: introducing new front page structure#1261

Merged
gusthoff merged 3 commits intoAdaCore:mainfrom
gusthoff:topic/infrastructure/sphinx/structure/20250913/contents
Sep 19, 2025
Merged

Editorial change: introducing new front page structure#1261
gusthoff merged 3 commits intoAdaCore:mainfrom
gusthoff:topic/infrastructure/sphinx/structure/20250913/contents

Commits

Commits on Sep 19, 2025