No need for this.

[ci skip]
FreeFem · Oct 15, 2019 · 39cea32 · 39cea32
1 parent a3d1877
commit 39cea32
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.jenkins/clean.sh b/.jenkins/clean.sh
@@ -2,5 +2,4 @@
 
 sudo docker container stop $(sudo docker container ls -aq)
 sudo docker container rm $(sudo docker container ls -aq)
-sudo docker rm $(sudo docker ps -a -q)
 sudo docker rmi $(sudo docker images -q)