chore: rename DockerFile to Dockerfile

UNICT-DMI · Nov 5, 2023 · 9443f5d · 9443f5d
1 parent 0b3f276
commit 9443f5d
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/DockerFile → Dockerfile b/DockerFile → Dockerfile