rename prod.Dockerfile to just Dockerfile for cloud build

SchmidtDSE · Dec 31, 2023 · e1b7b93 · e1b7b93
1 parent ac7932a
commit e1b7b93
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/prod.Dockerfile → Dockerfile b/prod.Dockerfile → Dockerfile