From 5cda043653f0c894da3feb0205dcf37258df0ce0 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <cirillo@isti.cnr.it>
Date: Wed, 18 May 2022 16:58:02 +0200
Subject: [PATCH] update repo list

---
 18-05-22-grepString/repo_list.txt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/18-05-22-grepString/repo_list.txt b/18-05-22-grepString/repo_list.txt
index e85842e..78028fc 100644
--- a/18-05-22-grepString/repo_list.txt
+++ b/18-05-22-grepString/repo_list.txt
@@ -84,8 +84,6 @@ context-manager-model
 create-users-portlet
 cube-manager
 custom-portal-handler
-d4s-cdn-setup
-d4s-navigation-setup
 d4s-nginx-pep-examples
 d4s-vre-manager-setup
 d4science-keycloak-themes