diff --git a/workbench/Dockerfile b/workbench/Dockerfile index 3f9e1ec957213cab3280448dbe6b7c52a1c28177..f8c3d2314acf2d411d653d10ffa1659634d657b1 100644 --- a/workbench/Dockerfile +++ b/workbench/Dockerfile @@ -25,7 +25,6 @@ RUN apt-get update && \ curl \ dbus-x11 \ default-jdk-headless \ - default-mysql-client \ devscripts \ direnv \ dirmngr \ @@ -192,7 +191,6 @@ RUN apt-get update && \ khard \ litecli \ magic-wormhole \ - mariadb \ mycli \ netaddr \ paramiko \