From b45e6c163c5f101d2bdb8248593972e2a6cc6eb5 Mon Sep 17 00:00:00 2001
From: Markus Keller
Date: Wed, 20 Jan 2016 16:57:01 +0100
Subject: Bug 486184: [preferences] Annotations preference page: "Info" should
 be plural

---
 org.eclipse.ui.editors/plugin.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'org.eclipse.ui.editors')

diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties
index e22b10ca464..ea42f575cc5 100644
--- a/org.eclipse.ui.editors/plugin.properties
+++ b/org.eclipse.ui.editors/plugin.properties
@@ -71,7 +71,7 @@ goToNextAnnotation.tooltip= Next Annotation
 
 errors.label= Errors
 warnings.label= Warnings
-infos.label= Info
+infos.label= Infos
 tasks.label= Tasks
 bookmarks.label= Bookmarks
 changes.label= Diff Changes
-- 
cgit v1.2.3