Trimmed serendipity#23

Merged

rckirby merged 7 commits into

trimmedSerendipity

Jun 27, 2022

Commits on Feb 27, 2020

Commits on Apr 10, 2020

ufl plumbing update for trimmed serendipity.
Justincrum
committed

Commits on Apr 14, 2020

Plumbing for SminusDiv.py
Justincrum
committed

Commits on Sep 8, 2020

Adding in element stuff for SminusCurl.
Justincrum
committed

Commits on Sep 22, 2020

Merge remote-tracking branch 'origin' into trimmedSerendipity
Justincrum
committed

Commits on Jun 23, 2022

Merge remote-tracking branch 'origin/master' into trimmedSerendipity
rckirby
committed