Remove a duplicated command from the Elephant server on Windows insta…

…llation
BiAPoL · Jun 13, 2024 · e333fbf · e333fbf
1 parent ab6248b
commit e333fbf
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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.