Closed fwcd closed 1 year ago
This migrates to the frontend's built-in pragma processing, which also respect option pragmas.
Fixes #45
This migrates to the frontend's built-in pragma processing, which also respect option pragmas.