Skip to content

Comments

用語一覧にサイドバーを追加#1056

Merged
irof merged 2 commits intomainfrom
agent/glossary-index
Feb 9, 2026
Merged

用語一覧にサイドバーを追加#1056
irof merged 2 commits intomainfrom
agent/glossary-index

Conversation

@irof
Copy link
Collaborator

@irof irof commented Feb 9, 2026

No description provided.

@irof irof enabled auto-merge February 9, 2026 14:27
@irof irof merged commit abaeb9b into main Feb 9, 2026
2 checks passed
@irof irof deleted the agent/glossary-index branch February 9, 2026 14:28
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