diff --git a/docker b/docker
deleted file mode 100644
index fd658fd8d..000000000
Binary files a/docker and /dev/null differ