Skip to content

Comment listing #warning as an extension is not up-to-date#225

Merged
jonahgraham merged 2 commits intoeclipse-cdt:mainfrom
TheShermanTanker:patch-1
Jan 1, 2023
Merged

Comment listing #warning as an extension is not up-to-date#225
jonahgraham merged 2 commits intoeclipse-cdt:mainfrom
TheShermanTanker:patch-1