Skip to content
Snippets Groups Projects
Commit cf9e8e0a authored by dgelessus's avatar dgelessus
Browse files

Remove unused ProB toolbar definition

parent 31e63eaa
No related branches found
No related tags found
No related merge requests found
Pipeline #131256 passed
...@@ -10,17 +10,4 @@ ...@@ -10,17 +10,4 @@
name="ProB"> name="ProB">
</perspective> </perspective>
</extension> </extension>
<extension
point="org.eclipse.ui.menus">
<menuContribution
locationURI="toolbar:org.eclipse.ui.main.toolbar">
<toolbar
id="probtoolbar">
</toolbar>
</menuContribution>
</extension>
</fragment> </fragment>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment