Skip to content

Change unrecognized optimization flag to warning#456

Merged
totalspectrum merged 1 commit intototalspectrum:masterfrom
Wuerfel21:W21-warn-on-unrecognized-optflag
Nov 21, 2024
Merged

Change unrecognized optimization flag to warning#456
totalspectrum merged 1 commit intototalspectrum:masterfrom
Wuerfel21:W21-warn-on-unrecognized-optflag

Commits

Commits on Nov 18, 2024