Skip to content

prefer if expression over declare + overwrite#130

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

prefer if expression over declare + overwrite#130
pjljvandelaar wants to merge 1 commit intoAdaCore:masterfrom
pjljvandelaar:declare_overwrite

Commits

Commits on Dec 22, 2022