From 2b93261830f3b58d94702c1b72da82f9a659da76 Mon Sep 17 00:00:00 2001 From: OSAK Buildhauer <osak@fsmpi.rwth-aachen.de> Date: Tue, 10 Apr 2018 20:13:32 +0000 Subject: [PATCH] eclipse rausgeworfen --- scripts/linuxparty.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/linuxparty.sh b/scripts/linuxparty.sh index cb5785e..7456c39 100644 --- a/scripts/linuxparty.sh +++ b/scripts/linuxparty.sh @@ -72,7 +72,6 @@ PH_PKGS=(\ ) IF_PKGS=(\ -"FALSE" "eclipse" "Umfangreiche Entwicklungsumgebung für verschiedene Programiersprachen, vornehmlich Java." \ "FALSE" "postgresql" "Datenbank-Server. Nett um in der Datenbanken-Vorlesungen Dinge auszuprobieren.\n Aber relativ groß." \ "TRUE" "dia" "Graphisches Tool, um UML/ER Diagramme für die Vorlesungen Softwaretechnik und Datenbanken anzufertigen" \ "TRUE" "ghc" "Glaskow Haskell Compiler für die Vorlesung Programmierung" \ -- GitLab