Skip to content

Comments

用語集にリンクできるようにIDを付与する#1049

Merged
irof merged 1 commit intomainfrom
codex/glossary-ids
Feb 7, 2026
Merged

用語集にリンクできるようにIDを付与する#1049
irof merged 1 commit intomainfrom
codex/glossary-ids

Conversation

@irof
Copy link
Collaborator

@irof irof commented Feb 7, 2026

No description provided.

@irof irof enabled auto-merge February 7, 2026 17:39
@irof irof merged commit a1ac236 into main Feb 7, 2026
2 checks passed
@irof irof deleted the codex/glossary-ids branch February 7, 2026 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant