Skip to content

Comments

Fix superfluous space in Wrapper bodys#42

Open
jquorning wants to merge 1 commit intoAdaCore:masterfrom
jquorning:patch-1
Open

Fix superfluous space in Wrapper bodys#42
jquorning wants to merge 1 commit intoAdaCore:masterfrom
jquorning:patch-1

Commits

Commits on Jun 28, 2025