Rename Dockerfile.15.0 to Dockerfile

sjol · Jan 15, 2019 · c584d38 · c584d38
1 parent 205ddb6
commit c584d38
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/Dockerfile.15.0 → Dockerfile b/Dockerfile.15.0 → Dockerfile