Skip to content

Commit

Permalink
Merge pull request #110 from eMoflon/hotfix/remove-dark-theme
Browse files Browse the repository at this point in the history
Hotfix: removes the broken dark theme (for now)
  • Loading branch information
maxkratz committed Jun 17, 2024
2 parents 5a45ed7 + ca3cf2a commit 90a5a10
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 90a5a10

Please sign in to comment.