Skip to content

Remove section on gnatmetric#1154

Merged
gusthoff merged 1 commit intoAdaCore:masterfrom gusthoff:content/intro_to_gnat_toolchain/review/20241226Dec 26, 2024

Commits

Commits on Dec 26, 2024