Skip to content

✨ fix alpha order of terms, add script to detect problems and output all terms in alpha order#115

Open
ctcpip wants to merge 5 commits into
mainfrom
alpha
Open

✨ fix alpha order of terms, add script to detect problems and output all terms in alpha order#115
ctcpip wants to merge 5 commits into
mainfrom
alpha

Commits

Commits on Jul 15, 2022