Skip to content

Comments

用語集をソートできるようにする#1051

Merged
irof merged 2 commits intomainfrom
codex/glossary-sort
Feb 7, 2026
Merged

用語集をソートできるようにする#1051
irof merged 2 commits intomainfrom
codex/glossary-sort

Conversation

@irof
Copy link
Collaborator

@irof irof commented Feb 7, 2026

No description provided.

@irof irof merged commit 3292308 into main Feb 7, 2026
2 checks passed
@irof irof deleted the codex/glossary-sort branch February 7, 2026 17:45
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