From f452bf6b132d0c89ef24659514858483d0508e27 Mon Sep 17 00:00:00 2001
From: Philipp Dormann <philipp@philippdormann.de>
Date: Mon, 12 Jul 2021 21:50:51 +0200
Subject: [PATCH] properly name Dockerfile

---
 dockerfile.tmp => Dockerfile | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename dockerfile.tmp => Dockerfile (100%)

diff --git a/dockerfile.tmp b/Dockerfile
similarity index 100%
rename from dockerfile.tmp
rename to Dockerfile