From 75c347ea4405602127e7cc175632ce557e67fb37 Mon Sep 17 00:00:00 2001
From: Lluis Gifre <lluis.gifre@cttc.es>
Date: Wed, 28 Jul 2021 09:21:17 +0000
Subject: [PATCH] Rename file Dockerfile_develop to Dockerfile

---
 src/context/{Dockerfile_develop => Dockerfile} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/context/{Dockerfile_develop => Dockerfile} (100%)

diff --git a/src/context/Dockerfile_develop b/src/context/Dockerfile
similarity index 100%
rename from src/context/Dockerfile_develop
rename to src/context/Dockerfile
-- 
GitLab