Closed chillenzer closed 1 year ago
Just a quick idea: We've started to consistently use Sp everywhere. We should probably rename the configure option accordingly.
Sp
Just a quick idea: We've started to consistently use
Sp
everywhere. We should probably rename the configure option accordingly.