| #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 | |
| extension-point.name.0 = valgrindToolViews | |
| marker.editor.error = Valgrind Errors | |
| marker.editor.warning = Valgrind Warnings | |
| marker.editor.info = Valgrind Info |