Merge remote-tracking branch 'parent/main'

Echtzeitsysteme · Apr 4, 2024 · d2627d9 · d2627d9
2 parents c9ad7e7 + c13ba4f
commit d2627d9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/resources/emoflon_dev.properties b/resources/emoflon_dev.properties
@@ -9,3 +9,6 @@ org.eclipse.egit.core/core_defaultRepositoryDir=${workspace_loc}/git
 #
 # Disable console log output limitation
 org.eclipse.debug.ui/Console.limitConsoleOutput=false
+#
+# Allow Maven to download JavaDoc
+org.eclipse.m2e.core/eclipse.m2.downloadJavadoc=true
diff --git a/resources/emoflon_user.properties b/resources/emoflon_user.properties
@@ -12,3 +12,6 @@ org.eclipse.debug.ui/Console.limitConsoleOutput=false
 #
 # Set default perspective to eMoflon
 org.eclipse.ui/defaultPerspectiveId=org.moflon.ide.ui.MoflonPerspective
+#
+# Allow Maven to download JavaDoc
+org.eclipse.m2e.core/eclipse.m2.downloadJavadoc=true