Skip to content

prefer quantified expressions - #127

Open
pjljvandelaar wants to merge 1 commit into
AdaCore:masterfrom
pjljvandelaar:prefer_qualified_expressions
Open

prefer quantified expressions#127
pjljvandelaar wants to merge 1 commit into
AdaCore:masterfrom
pjljvandelaar:prefer_qualified_expressions

prefer quantified expressions

5bdc64d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs