tree 0fc90b501f670e36de3b11c052a8412c7afbdbdc
parent fd52341505e725487c6bc6dfbe6b5e081aa037da
author Philipp Wollermann <philwo@google.com> 1541430214 -0800
committer Copybara-Service <copybara-piper@google.com> 1541430435 -0800

Remove tools/build_defs/docker

They were deprecated in https://github.com/bazelbuild/bazel/commit/b51a0a2e8dd3869fee6ba00af24812c55cb2002d and afterwards only used by our own stuff (afair on the old Jenkins CI?).

Seems safe to remove them now, with no references remaining.

Closes #5624.

RELNOTES: The deprecated and unmaintained Docker rules in tools/build_defs/docker were removed. Please use https://github.com/bazelbuild/rules_docker instead.
PiperOrigin-RevId: 220094531