remove no longer needed Docker images

rust-lang · Aug 26, 2018 · 264c47a · 264c47a
1 parent e2e72cc
commit 264c47a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 70 deletions.
diff --git a/src/ci/docker/disabled/dist-armebv7r-none-eabihf/Dockerfile b/src/ci/docker/disabled/dist-armebv7r-none-eabihf/Dockerfile
diff --git a/src/ci/docker/disabled/dist-armv7r-none-eabihf/Dockerfile b/src/ci/docker/disabled/dist-armv7r-none-eabihf/Dockerfile