Rename dockerfile to Dockerfile

We do this renaming since some versions of docker seem to have a problem with the dockerfile being named in lower-caps.
s-heppner · Sep 11, 2024 · e2b94e9 · e2b94e9
1 parent 24d3a20
commit e2b94e9
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/dockerfile → Dockerfile b/dockerfile → Dockerfile