From 7ee3049b7543c7cfc0e976302aabefd2af5803d2 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <cirillo@isti.cnr.it>
Date: Mon, 23 May 2022 15:03:10 +0200
Subject: [PATCH] update repo list

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

diff --git a/18-05-22-grepString/repo_list.txt b/18-05-22-grepString/repo_list.txt
index 78028fc..4d0220b 100644
--- a/18-05-22-grepString/repo_list.txt
+++ b/18-05-22-grepString/repo_list.txt
@@ -85,7 +85,6 @@ create-users-portlet
 cube-manager
 custom-portal-handler
 d4s-nginx-pep-examples
-d4s-vre-manager-setup
 d4science-keycloak-themes
 d4science-responsive-theme
 d4science-static-pages