#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 |