Skip to content

Add -Wdouble-promotion to common warnings#2707

Open
teksturi wants to merge 1 commit intocatchorg:develfrom teksturi:add_warning_double_promotion
+4-3

Commits

Commits on Jun 22, 2023