Skip to content

Try upgrading to Documenter 1#17

Merged
andreasnoack merged 1 commit intomainfrom
an/documenter1
Mar 27, 2024
Merged

Try upgrading to Documenter 1#17
andreasnoack merged 1 commit intomainfrom
an/documenter1

Conversation

@andreasnoack
Copy link
Member

No description provided.

@andreasnoack andreasnoack merged commit 8467250 into main Mar 27, 2024
@andreasnoack andreasnoack deleted the an/documenter1 branch March 27, 2024 09:08
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