Skip to content

Allow use of different core name, fixes #12#14

Merged
rfay merged 4 commits intomainfrom
20221230_config_corename
Dec 31, 2022
Merged

Allow use of different core name, fixes #12#14
rfay merged 4 commits intomainfrom
20221230_config_corename

Commits

Commits on Dec 30, 2022

Commits on Dec 31, 2022