From 72cf04fc2a40650ecad655ea47058b144eeb84d6 Mon Sep 17 00:00:00 2001 From: Aryan Blaauw Date: Mon, 28 Aug 2017 10:26:59 +0200 Subject: [PATCH] Rename Dockerfile to Dockerfile.heavy --- Dockerfile => Dockerfile.heavy | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Dockerfile => Dockerfile.heavy (100%) diff --git a/Dockerfile b/Dockerfile.heavy similarity index 100% rename from Dockerfile rename to Dockerfile.heavy