Cleanup: Removed outdated Dockerfile and docu.
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Sep 2017 12:32:47 +0000 (14:32 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Sep 2017 12:32:47 +0000 (14:32 +0200)
commit546d185a4eb80f4b0ee335715645a96ed79505bc
treea7a91e5116fb3e1ac6a66848e681278e6b290e66
parentbbe128904ab07e43a0386f17a500c679ff9059e0
Cleanup: Removed outdated Dockerfile and docu.

Signed-off-by: Manuel Peuster <manuel@peuster.de>
utils/docker/Dockerfile [deleted file]
utils/docker/README.md [deleted file]