Merge pull request 'added eclipse views' (#1) from lehrer into main

Reviewed-on: #1
This commit was merged in pull request #1.
This commit is contained in:
2026-07-04 10:41:57 +02:00
+2 -2
View File
@@ -9,5 +9,5 @@ java.home=
jvm.arguments= jvm.arguments=
offline.mode=false offline.mode=false
override.workspace.settings=false override.workspace.settings=false
show.console.view=true show.console.view=false
show.executions.view=true show.executions.view=false