Skip to content

prefer aspects over representation clauses#72

Open
pjljvandelaar wants to merge 2 commits intoAdaCore:masterfrom
pjljvandelaar:representation_clauses
Open

prefer aspects over representation clauses#72
pjljvandelaar wants to merge 2 commits intoAdaCore:masterfrom
pjljvandelaar:representation_clauses

Commits

Commits on Dec 15, 2022

Commits on Dec 20, 2022