Skip to content

Capitalise CFFI in docs - #3763

Merged
garth-wells merged 1 commit into
mainfrom
dep-name-fix
Jun 23, 2025
Merged

Capitalise CFFI in docs#3763
garth-wells merged 1 commit into
mainfrom
dep-name-fix

Conversation

@garth-wells

Copy link
Copy Markdown
Member

No description provided.

@garth-wells
garth-wells enabled auto-merge June 23, 2025 21:52
@garth-wells
garth-wells added this pull request to the merge queue Jun 23, 2025
Merged via the queue into main with commit 8b43779 Jun 23, 2025
@garth-wells
garth-wells deleted the dep-name-fix branch June 23, 2025 22:49
ordinary-slim pushed a commit to ordinary-slim/dolfinx that referenced this pull request Jul 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant