Closed SpringVaS closed 4 years ago
Handles issue #175 When creating a project, none existing config and dafny files are created. Still an issue: MainController and ProjectSettingsController hold different instantiations of ProjectManager.
Handles issue #175 When creating a project, none existing config and dafny files are created. Still an issue: MainController and ProjectSettingsController hold different instantiations of ProjectManager.