From 2593cf2d34b4e4227f50b7bdd904db75e231a715 Mon Sep 17 00:00:00 2001
From: Rui Machado <rui.machado@itwm.fraunhofer.de>
Date: Mon, 19 Feb 2024 14:47:56 +0100
Subject: [PATCH] cosmetics: lower-case directory name for consistency.

---
 Golden_Repo/g/{GPI-2 => gpi-2}/gpi2-deepsea-GCC-11.3.0.eb | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Golden_Repo/g/{GPI-2 => gpi-2}/gpi2-deepsea-GCC-11.3.0.eb (100%)

diff --git a/Golden_Repo/g/GPI-2/gpi2-deepsea-GCC-11.3.0.eb b/Golden_Repo/g/gpi-2/gpi2-deepsea-GCC-11.3.0.eb
similarity index 100%
rename from Golden_Repo/g/GPI-2/gpi2-deepsea-GCC-11.3.0.eb
rename to Golden_Repo/g/gpi-2/gpi2-deepsea-GCC-11.3.0.eb
-- 
GitLab