Skip to content

prefer if expressions#132

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

prefer if expressions#132
pjljvandelaar wants to merge 1 commit intoAdaCore:masterfrom
pjljvandelaar:prefer_if_expressions

Commits

Commits on Dec 22, 2022