Closed mscroggs closed 2 years ago
This is needed if https://github.com/FEniCS/ufl/pull/117 and https://github.com/FEniCS/ufl/pull/118 are merged
See also FEniCS/basix#583
This is needed if https://github.com/FEniCS/ufl/pull/117 and https://github.com/FEniCS/ufl/pull/118 are merged
See also FEniCS/basix#583