Skip to content

Add -pedantic to EXTRA_COPTS#210

Merged
chiphogg merged 2 commits intomainfrom chiphogg/pedantic#209Dec 12, 2023

Commits

Commits on Dec 12, 2023