Closed JonnyHaystack closed 4 years ago
This pull request adds a new config option which allows the user to change the default directory used for the saving and loading of workspaces.
Closes #90
This pull request adds a new config option which allows the user to change the default directory used for the saving and loading of workspaces.
Closes #90