Skip to content

doc: document table directive#828

Merged
david-christiansen merged 1 commit intomainfrom
doc-table
Apr 9, 2026
Merged

doc: document table directive#828
david-christiansen merged 1 commit intomainfrom
doc-table

Conversation

@david-christiansen
Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 9, 2026

Preview for this PR is ready! 🎉

@david-christiansen david-christiansen added this pull request to the merge queue Apr 9, 2026
Merged via the queue into main with commit 5eb5ac5 Apr 9, 2026
12 checks passed
@david-christiansen david-christiansen deleted the doc-table branch April 9, 2026 06:21
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