Jakob Ackermann 557c63bbff [docker] drop the docker Makefile from the image (#6507)

2019-05-05 22:49:32 -04:00

..

bin

[docker] drop the docker Makefile from the image (#6507)

2019-05-05 22:49:32 -04:00