diff options
| author | Wim Jongman | 2018-05-13 16:58:23 +0000 |
|---|---|---|
| committer | Wim Jongman | 2018-05-13 16:59:39 +0000 |
| commit | 750d10c1128709d6c013eedb1b04c76d180593d4 (patch) | |
| tree | a9ec25d0b901467b7b78cfb071eae83f6887ee31 | |
| parent | a55daf01ce26bb8ed81fcba845720d7819f0e150 (diff) | |
| download | eclipse.platform.common-750d10c1128709d6c013eedb1b04c76d180593d4.tar.gz eclipse.platform.common-750d10c1128709d6c013eedb1b04c76d180593d4.tar.xz eclipse.platform.common-750d10c1128709d6c013eedb1b04c76d180593d4.zip | |
Bug 534595: [Tips] Create tips for tipsI20180515-1440I20180515-1300I20180515-0950I20180515-0800I20180514-2000I20180514-0800I20180513-2000
* Get rid of category that was removed from extension
Change-Id: Iee79c0bd4ca2908c697e3260f083843fe1784857
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
| -rw-r--r-- | bundles/org.eclipse.jdt.tips.user/plugin.xml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bundles/org.eclipse.jdt.tips.user/plugin.xml b/bundles/org.eclipse.jdt.tips.user/plugin.xml index 11a26ef4b..251647a1c 100644 --- a/bundles/org.eclipse.jdt.tips.user/plugin.xml +++ b/bundles/org.eclipse.jdt.tips.user/plugin.xml @@ -4,7 +4,6 @@ <extension point="org.eclipse.tips.core.tips"> <provider - category="org.eclipse.jdt.tips.user.category" class="org.eclipse.jdt.tips.user.internal.JDTTipProvider" description="JDT Tips Provider" id="org.eclipse.jdt.tips.user"> @@ -17,10 +16,5 @@ </with> </enablement> </provider> - <category - id="org.eclipse.jdt.tips.user.category" - name="JDT Related Tips"> - </category> </extension> - </plugin> |