diff options
Diffstat (limited to 'valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties')
-rw-r--r-- | valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties b/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties index e4c2c34ca9..db6ac5bf69 100644 --- a/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties +++ b/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties @@ -1,8 +1,8 @@ #Properties file for org.eclipse.linuxtools.valgrind.ui view.name.0 = Valgrind Bundle-Vendor.0 = Eclipse Linux Tools -Bundle-Name.0 = Valgrind UI Plug-in (Incubation) +Bundle-Name.0 = Valgrind UI Plug-in extension-point.name.0 = valgrindToolViews marker.editor.error = Valgrind Errors marker.editor.warning = Valgrind Warnings -marker.editor.info = Valgrind Info
\ No newline at end of file +marker.editor.info = Valgrind Info |