From d8f84fde6a7b6cfaacc8a6c0a6e0723b8092ade8 Mon Sep 17 00:00:00 2001
From: Manuel Alejandro de Brito Fontes <aledbf@gmail.com>
Date: Wed, 26 Feb 2020 18:39:31 -0300
Subject: [PATCH] Remove unused docker file (#5183)

---
 .dockerignore | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 .dockerignore

diff --git a/.dockerignore b/.dockerignore
deleted file mode 100644
index 7c09b3603..000000000
--- a/.dockerignore
+++ /dev/null
@@ -1,2 +0,0 @@
-core
-