Skip to content

Allow to change the names of all the constants#122

Merged
jvanbruegge merged 1 commit intomasterfrom
change-name
Nov 19, 2025
Merged

Allow to change the names of all the constants#122
jvanbruegge merged 1 commit intomasterfrom
change-name

Commits

Commits on Nov 19, 2025