From e15da709711da30c04fecbbeaa6af67d60df2fc9 Mon Sep 17 00:00:00 2001 From: Finn Huelsbusch Date: Fri, 8 Jul 2022 14:58:16 +0200 Subject: [PATCH] updated plugins --- configuration/pluginsForEclipse2022-06.p2f | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/configuration/pluginsForEclipse2022-06.p2f b/configuration/pluginsForEclipse2022-06.p2f index 0a3dc702598..c017c9d1239 100644 --- a/configuration/pluginsForEclipse2022-06.p2f +++ b/configuration/pluginsForEclipse2022-06.p2f @@ -102,6 +102,26 @@ + + + + + + + + + + + + + + + + + + + +