Skip to content

Fix warning: renamed predefined unit is an obsolescent feature (RM J.1)#52

Open
JeremyGrosser wants to merge 2 commits intoAdaCore:masterfrom
JeremyGrosser:master
Open

Fix warning: renamed predefined unit is an obsolescent feature (RM J.1)#52
JeremyGrosser wants to merge 2 commits intoAdaCore:masterfrom
JeremyGrosser:master

Commits

Commits on Nov 14, 2024