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 · 970123f · 970123f
1 parent 24d3a20
commit 970123f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/dockerfile → Dockerfile b/dockerfile → Dockerfile