Rename Dockerfile to Dockerfile-dev

This commit is contained in:
Matthias Weber
2024-07-02 15:39:21 +02:00
committed by GitHub
parent 075ad83f6a
commit de06c1371f