From 9a8e0e641e453557f68e9509fc76b9ec6447a9a0 Mon Sep 17 00:00:00 2001 From: Hannes Wellmann Date: Sun, 6 Oct 2024 23:39:37 +0200 Subject: [PATCH] [Oomph-Setup] Remove obsolete platformUa.setup Since eclipse.platform.ua was merged into the eclipse.platform repository this setup seems to be irrelevant and not used. --- ua/org.eclipse.ua.releng/.project | 11 -- .../org.eclipse.core.resources.prefs | 2 - ua/org.eclipse.ua.releng/platformUa.setup | 106 ------------------ 3 files changed, 119 deletions(-) delete mode 100644 ua/org.eclipse.ua.releng/.project delete mode 100644 ua/org.eclipse.ua.releng/.settings/org.eclipse.core.resources.prefs delete mode 100644 ua/org.eclipse.ua.releng/platformUa.setup diff --git a/ua/org.eclipse.ua.releng/.project b/ua/org.eclipse.ua.releng/.project deleted file mode 100644 index 0fb6bbb8456..00000000000 --- a/ua/org.eclipse.ua.releng/.project +++ /dev/null @@ -1,11 +0,0 @@ - - - org.eclipse.ua.releng - - - - - - - - diff --git a/ua/org.eclipse.ua.releng/.settings/org.eclipse.core.resources.prefs b/ua/org.eclipse.ua.releng/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index 99f26c0203a..00000000000 --- a/ua/org.eclipse.ua.releng/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,2 +0,0 @@ -eclipse.preferences.version=1 -encoding/=UTF-8 diff --git a/ua/org.eclipse.ua.releng/platformUa.setup b/ua/org.eclipse.ua.releng/platformUa.setup deleted file mode 100644 index 5db9e0727be..00000000000 --- a/ua/org.eclipse.ua.releng/platformUa.setup +++ /dev/null @@ -1,106 +0,0 @@ - - - - - - - github.remoteURIs - - - Platform UA Github Repository - - - remoteURI - - - - - - Platform UA - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The Platform UA support -