From ca3cf2a7add333aaee7976c76e1b301cb89cb4d8 Mon Sep 17 00:00:00 2001 From: Maximilian Kratz Date: Mon, 17 Jun 2024 15:45:13 +0200 Subject: [PATCH] Hotfix: removes the broken dark theme --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 8c6c2a2..b1363a1 100755 --- a/build.sh +++ b/build.sh @@ -42,7 +42,7 @@ IMPORT_PLUGIN_FILENAME="com.seeq.eclipse.importprojects_$IMPORT_PLUGIN_VERSION.j IMPORT_PLUGIN_SRC="https://api.github.com/repos/maxkratz/eclipse-import-projects-plugin/releases/tags/v$IMPORT_PLUGIN_VERSION" # Array with the order to install the plugins with. -ORDER_LINUX=("xtext" "plantuml" "hipe" "kermeta" "misc" "emoflon-headless" "emoflon" "theme" "additional") +ORDER_LINUX=("xtext" "plantuml" "hipe" "kermeta" "misc" "emoflon-headless" "emoflon" "additional") # # Configure OS specific details