UnstableChanges

Summary

  1. Removes the setting of SkipAllBreakpoints on non Debug Launches (commit: 91453bd) (details)
  2. Updates the copyright (commit: 0b6f495) (details)
Commit 91453bd9a29bb1db502eecc8bc61832f88af086f by idhugo
Removes the setting of SkipAllBreakpoints on non Debug Launches
(commit: 91453bd)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
The file was modifiedide/platform/src/main/resources/plugin.properties (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.properties (diff)
The file was modifiedide/plugins/features/developerutils/feature.properties (diff)
The file was modifiedide/plugins/features/javagen/feature.properties (diff)
The file was modifiedide/features/rcp/feature.properties (diff)
The file was modifiedide/plugins/features/csk/feature.properties (diff)
The file was modifiedide/plugins/features/latex/feature.properties (diff)
The file was modifiedide/plugins/features/poviewer/feature.properties (diff)
The file was modifiedide/plugins/features/uml2/feature.properties (diff)
The file was modifiedide/plugins/features/isatrans/feature.properties (diff)
The file was modifiedide/platform/about.properties (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.properties (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.properties (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.properties (diff)
The file was modifiedide/features/core/feature.properties (diff)
The file was modifiedide/plugins/developerutils/src/main/java/org/overture/ide/plugins/developerutils/preferences/WorkbenchPreferencePageDot.java (diff)