Skip to content

some cleaning - #718

Merged
kirtchev-adacore merged 2 commits into
mainfrom
tshepang/clean
Aug 20, 2026
Merged

some cleaning#718
kirtchev-adacore merged 2 commits into
mainfrom
tshepang/clean

remove stray rule

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

Annotations

1 warning
Build the documentation
succeeded Aug 20, 2026 in 38s