From 9b0d5f6eb7d95cae604dfddc6bc98079cc5465f5 Mon Sep 17 00:00:00 2001 From: Simon Zambrovski Date: Fri, 6 Oct 2023 17:38:07 +0200 Subject: [PATCH] remove unneeded module --- pom.xml | 1 - 1 file changed, 1 deletion(-) diff --git a/pom.xml b/pom.xml index 83fc138a..e7508b19 100644 --- a/pom.xml +++ b/pom.xml @@ -42,7 +42,6 @@ extension/core - extension/c7