Skip to content

replace curly quotes with straight quotes in comments #456

Open
pat-rogers wants to merge 2 commits intoAdaCore:masterfrom
pat-rogers:curly_quotes
Open

replace curly quotes with straight quotes in comments #456
pat-rogers wants to merge 2 commits intoAdaCore:masterfrom
pat-rogers:curly_quotes

Commits

Commits on Apr 14, 2026