Skip to content

bugfix wrong placement gnorm folder#73

Merged
johnjerrico merged 1 commit intomainfrom
bugfix/gnorm_folder
Oct 1, 2025
Merged

bugfix wrong placement gnorm folder#73
johnjerrico merged 1 commit intomainfrom
bugfix/gnorm_folder

Commits

Commits on Oct 1, 2025