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