Remove unused docker file (#5183)

This commit is contained in:
Manuel Alejandro de Brito Fontes 2020-02-26 18:39:31 -03:00 committed by GitHub
parent 0ccf520c99
commit d8f84fde6a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,2 +0,0 @@
core