Skip to content

Editorial change: adding cover page#1187

Merged
gusthoff merged 1 commit intoAdaCore:masterfrom
gusthoff:content/ada_idioms/review/editorial/general/20250217/cover_page
Feb 19, 2025
Merged

Editorial change: adding cover page#1187
gusthoff merged 1 commit intoAdaCore:masterfrom
gusthoff:content/ada_idioms/review/editorial/general/20250217/cover_page

Commits

Commits on Feb 19, 2025