Skip to content

Fix modifications of settings & saving#157

Merged
rchl merged 1 commit intomasterfrom
bugfix/fix-save
Jun 4, 2023
Merged

Fix modifications of settings & saving#157
rchl merged 1 commit intomasterfrom
bugfix/fix-save

Commits

Commits on Jun 4, 2023