Skip to content

Glossary subsitutions in a sidebar#101

Merged
ArchiDevil merged 3 commits intomasterfrom
feature/glossary-sidebar
Jan 12, 2025
Merged

Glossary subsitutions in a sidebar#101
ArchiDevil merged 3 commits intomasterfrom
feature/glossary-sidebar

Conversation

@ArchiDevil
Copy link
Owner

No description provided.

@ArchiDevil ArchiDevil added the enhancement New feature or request label Jan 12, 2025
@ArchiDevil ArchiDevil self-assigned this Jan 12, 2025
@ArchiDevil ArchiDevil linked an issue Jan 12, 2025 that may be closed by this pull request
@ArchiDevil ArchiDevil merged commit 0ef0ac8 into master Jan 12, 2025
2 checks passed
@ArchiDevil ArchiDevil deleted the feature/glossary-sidebar branch January 12, 2025 16:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add glossaries variant to the sidebar

1 participant