Skip to content

Add extensions documentation#159

Merged
wborn merged 1 commit into
mainfrom
add-extensions-docs
Jun 3, 2026
Merged

Add extensions documentation#159
wborn merged 1 commit into
mainfrom
add-extensions-docs

Conversation

@wborn
Copy link
Copy Markdown
Member

@wborn wborn commented Jun 3, 2026

This adds an initial documentation page about what they are and how to use them with some pointers to more information.

Related to:

This adds an initial documentation page about what they are and how to use them with some pointers to more information.
@wborn wborn requested a review from pierrekil June 3, 2026 12:44
Copy link
Copy Markdown
Member

@pierrekil pierrekil left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me as first doc.

@wborn wborn merged commit f50f069 into main Jun 3, 2026
2 checks passed
@wborn wborn deleted the add-extensions-docs branch June 3, 2026 15:07
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.

2 participants