Skip to content

Editorial change: renaming course to "Ada In Practice"#1180

Merged
gusthoff merged 8 commits intoAdaCore:masterfrom gusthoff:content/ada_idioms/review/editorial/structure/20250131Jan 31, 2025