Skip to content

prefer quantified expressions#127

Open
pjljvandelaar wants to merge 1 commit intoAdaCore:masterfrom
pjljvandelaar:prefer_qualified_expressions
Open

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

Commits

Commits on Dec 22, 2022