Skip to content

copilot-theorem: Remove unused pragmas. Refs #613. - #630

Closed
carte731 wants to merge 10 commits into
Copilot-Language:masterfrom
carte731:master
Closed

copilot-theorem: Remove unused pragmas. Refs #613.#630
carte731 wants to merge 10 commits into
Copilot-Language:masterfrom
carte731:master

Forgot the 's' on pragma.

317d34d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs