Skip to content

remove global support dofs, they are not used#831

Merged
mscroggs merged 2 commits into
mainfrom
mscroggs/remove-global-support-dofs
Apr 21, 2026
Merged

remove global support dofs, they are not used#831
mscroggs merged 2 commits into
mainfrom
mscroggs/remove-global-support-dofs

ruff

90433d8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (windows-2022, 3.10)
succeeded Apr 21, 2026 in 21m 21s