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

Commits

Commits on Apr 21, 2026