From 37dfbad8f831af680ba5d1cacf24a4e4684d42dd 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
-