Commit 2971b6d1 authored by Lukas Riedel's avatar Lukas Riedel 📝

Revert "Move Dockerfiles into new docker/ directory and add file extensions"

This reverts commit 8185d6fe.
parent 3de62db0