From 3ee32436c6ee69f33538b07473ff4e4ced347384 Mon Sep 17 00:00:00 2001
From: lcappelli <laura.cappelli@cnaf.infn.it>
Date: Mon, 30 May 2022 10:06:45 +0000
Subject: [PATCH] Rename provide-deps.sh in provide-dev-deps.sh

To distinguish the differet provide-deps.sh in the same folder, one for the CI container, one for the devel container
---
 .../library-scripts/{provide-deps.sh => provide-dev-deps.sh}      | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .devcontainer/library-scripts/{provide-deps.sh => provide-dev-deps.sh} (100%)

diff --git a/.devcontainer/library-scripts/provide-deps.sh b/.devcontainer/library-scripts/provide-dev-deps.sh
similarity index 100%
rename from .devcontainer/library-scripts/provide-deps.sh
rename to .devcontainer/library-scripts/provide-dev-deps.sh
-- 
GitLab