From a06981347b5db2d1a89a6126d3571cf35eac32f4 Mon Sep 17 00:00:00 2001
From: Andres Montano <andres.montano@tecnalia.com>
Date: Tue, 17 Oct 2023 14:33:33 +0200
Subject: [PATCH] Add info to source file forextra libs

---
 dockerfiles/extra_libs/sources.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dockerfiles/extra_libs/sources.txt b/dockerfiles/extra_libs/sources.txt
index e69de29..af5d4bf 100644
--- a/dockerfiles/extra_libs/sources.txt
+++ b/dockerfiles/extra_libs/sources.txt
@@ -0,0 +1,3 @@
+https://github.com/sharkdp/bat/releases/
+https://github.com/lsd-rs/lsd/releases
+https://github.com/BurntSushi/ripgrep/releases
-- 
GitLab