Skip to content

remove needless ids (from glossary)#681

Merged
kirtchev-adacore merged 1 commit into
mainfrom
tshepang/neeless-ids
Mar 23, 2026
Merged

remove needless ids (from glossary)#681
kirtchev-adacore merged 1 commit into
mainfrom
tshepang/neeless-ids

remove needless ids (from glossary)

6fdaf85
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.