From 734a675b7bdc7e74ca7480002db3e462a6536381 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kelvin=20Gla=C3=9F?= <kelvin.glass@fu-berlin.de>
Date: Wed, 27 May 2020 15:22:42 +0200
Subject: [PATCH] [INTERNAL][STF] Fix wrong eclipse endpoint

PR #1010 also changed the name of the used
eclipse endpoint from `preferencesPages` -> `preference_pages`
(which is not an existing endpoint).

Fixes #1014
---
 eclipse/plugin.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eclipse/plugin.xml b/eclipse/plugin.xml
index 2d6c839aa9..7fddf8b584 100644
--- a/eclipse/plugin.xml
+++ b/eclipse/plugin.xml
@@ -56,7 +56,7 @@
       </decorator>
    </extension>
    <extension
-         point="org.eclipse.ui.preference_pages">
+         point="org.eclipse.ui.preferencePages">
       <page
             class="saros.ui.preference_pages.GeneralPreferencePage"
             id="saros.preferences"