Save project settings in the workspace file (fixes #44)#45

Merged

hurricup merged 1 commit intoJetBrains:masterfrom BasLeijdekkers:master

Jan 2, 2021

+40-31

Commits on Jan 2, 2021

Save project settings in the workspace file (JetBrains#44 )
BasLeijdekkers
committed