From e333fbf1908c7528f36bab5fd2015582d2bb8705 Mon Sep 17 00:00:00 2001 From: Stefan Hahmann Date: Thu, 13 Jun 2024 13:13:23 +0200 Subject: [PATCH] Remove a duplicated command from the Elephant server on Windows installation --- .../elephant_server_installation_windows/readme.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/docs/stefan_hahmann/elephant_server_installation_windows/readme.md b/docs/stefan_hahmann/elephant_server_installation_windows/readme.md index 684309c..336d7ed 100644 --- a/docs/stefan_hahmann/elephant_server_installation_windows/readme.md +++ b/docs/stefan_hahmann/elephant_server_installation_windows/readme.md @@ -126,10 +126,6 @@ This will download the image from the Docker Hub, which may take some time depen The version on Docker Hub may not be the latest version of Elephant, but you can use it, if building the image fails. Check [Docker Hub](https://hub.docker.com/r/stefanhahmann/elephant-server) for the Elephant server image. -```console -docker pull stefanhahmann/elephant-server:0.5.6 -``` - ## Starting the Elephant Server Make sure that Docker Desktop is running.